ACM transactions on programming languages and systems

• 

  Año 2003, Vol. 25, Número 4

  • Rank 2 Intersection Types for Local Definitions and Conditional Expressions

    F. Damiani

    págs. 401-451

    

  • Automatic Program Specialization for Java

    Ulrik P. Schultz, Julia L. Lawall, Charles Consel

    págs. 452-499

    

  • Continuous Program Optimization: A Case Study

    Michael Franz, Thomas Kistler

    págs. 500-548