ACM transactions on programming languages and systems

• 

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

  • Slicing as a program transformation

    Martin Ward

    • Resumen
    

  • A deterministic logical semantics for pure Esterel

    Olivier Tardieu

    • Resumen
    

  • Allocating architected registers through differential encoding

    Xiaotong Zhuang, Santosh Pande

    • Resumen
    

  • Termination analysis of logic programs through combination of type-based norms

    Maurice Bruynooghe, Michael Codish, Jhon P. Gallagher, Samir Genaim, Win Vanhoof

    • Resumen
    

  • Fast online pointer analysis

    Martin Hirzel, Daniel von Dincklage, Amer Diwan, Michael Hind

    • Resumen
    

  • METRIC: Memory tracing via dynamic binary rewriting to identify cache inefficiencies

    Jaydeep Marathe, Frank Mueller, Tushar Mohan, S. McKee, Bronis de Supinski, Andy Yoo

    • Resumen
    

  • A provenly correct translation of Fickle into Java

    D. Ancona, C. Anderson, F. Damiani, Sophia Drossopoulou, P. Giannini, E. Zucca

    • Resumen