ACM transactions on programming languages and systems

• 

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

  • The Receptive Distributed ¿-Calculus

    Gerard Boudol, Cedric Lhoussaine, Robert M. Amadio

    págs. 549-577

    

  • Class Analyses as Abstract Interpretations of Trace Semantics

    Fausto Spoto, Thomas Jensen

    págs. 578-630

    

  • Generating LR Syntax Error Messages from Examples

    Clinton L. Jeffery

    págs. 631-640

    

  • Jam--Designing a Java Extension with Mixins

    Giovanni Lagorio, E. Zucca, D. Ancona

    págs. 641-712