ACM transactions on programming languages and systems

• 

  Año 2007, Vol. 29, Número 1

  • A constraint-based approach to guarded algebraic data types

    Vincent Simonet, Francoise Pottier

    • Resumen
    

  • Profile-based pretenuring

    Stephen Blackburn, Matthew Hertz, Kathryn Mckinley, J. Eliot, Tong Yang

    • Resumen
    

  • PPMexe: Program compression

    Milenko Drinic, Darko Kirovski, Hoi Vo

    • Resumen
    

  • A static type system for JVM access control

    Tomoyuki Higuchi, Atsushi Ohori

    • Resumen
    

  • Program termination analysis in polynomial time

    Amir Ben Amram, Chin Soon Lee

    • Resumen
    

  • Type-based publish/subscribe: concepts and experiences

    Patrick Eugster

    • Resumen