ACM transactions on programming languages and systems

• 

  Año 2014, Vol. 36, Número 4. Texto Completo Ejemplar

  • Abstract Domains of Affine Relations

    Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas Reps

    • Resumen
    • Texto completo
    

  • Foundations of Typestate-Oriented Programming

    Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich

    • Resumen
    • Texto completo
    

  • Kitsune: Efficient, General-Purpose Dynamic Software Updating for C

    Christopher M. Hayden, Karla Saur, Edward K. Smith, Michael Hicks, Jeffrey S. Foster

    • Resumen
    • Texto completo
    

  • A Widening Approach to Multithreaded Program Verification

    Alexander Kaiser, Daniel Kroening, Thomas Wahl

    • Resumen
    • Texto completo