ACM transactions on programming languages and systems

• 

  Año 2004, Vol. 26, Número 3

  • A Framework for the Integration of Partial Evaluation and Abstract Interpretation of Logic Programs

    págs. 413-463

    

  • An Unfold/Fold Transformation Framework for Definite Logic Programs

    págs. 464-509

    

  • Natural Semantics as a Static Program Analysis Framework

    págs. 510-577

    

  • JR: Flexible Distributed Programming in an Extended Java

    págs. 578-608