ACM transactions on programming languages and systems

• 

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

  • Design, implementation, and evaluation of a compilation server

    Han B. Lee, Amer Diwan, J. Eliot B. Moss

    • Resumen
    

  • A practical interprocedural dominance algorithm

    Bjorn de Sutter, Ludo Van Put, Koen de Bosschere

    • Resumen
    

  • An efficient on-the-fly cycle collection

    Harel Paz, David Bacon, Elliot K. Kolodner, Erez Petrank, V. T. Rajan

    • Resumen
    

  • Static validation of XSL transformations

    Anders P. Moller, Mads Osterby Olesen, Michael I. Schwartzbach

    • Resumen
    

  • Mutatis Mutandis: safe and predictable dynamic software updating

    Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, Iulian Neamtiu

    • Resumen