ACM transactions on programming languages and systems

• 

  Año 2012, Vol. 34, Número 2

  • Partially Evaluating Finite-State Runtime Monitors Ahead of Time

    Eric Bodden, Patrick Tl. Lam, Laurie Hendren

    • Resumen
    • Texto completo
    

  • Structured Communication-Centered Programming for Web Services

    Marco Carbone, Kohei Honda, Nobuko Yoshida

    • Resumen
    • Texto completo
    

  • On a Technique for Transparently Empowering Classical Compiler Optimizations on Multithreaded Code

    Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-J Boehm, Dhruva R. Chakrabarti

    • Resumen
    • Texto completo
    

  • Reasoning about Web Applications: An Operational Semantics for HOP

    Gerard Boudol, Zhengqian Luo, Tamara Rezk, Manuel A. Serrano Martín

    • Resumen
    • Texto completo