ACM transactions on programming languages and systems

• 

  Año 2008, Vol. 30, Número 5

  • A semantics-based approach to malware detection

    Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya Debray

    • Resumen
    

  • Nominal logic programming

    James Cheney, Christian Urban

    • Resumen
    

  • A capability calculus for concurrency and determinism

    Tachio Terauchi, Alex Aiken

    • Resumen
    

  • Two-dimensional bidirectional object layout

    Joseph Gil, William Pugh, Grant E. Weddell, Yoab Zibin

    • Resumen
    

  • A type system equivalent to a model checker

    Mayur Naik, Jens Palsberg

    • Resumen