Design, implementation, and evaluation of a compilation server
Han B. Lee, Amer Diwan, J. Eliot B. Moss
A practical interprocedural dominance algorithm
Bjorn de Sutter, Ludo Van Put, Koen de Bosschere
An efficient on-the-fly cycle collection
Harel Paz, David Bacon, Elliot K. Kolodner, Erez Petrank, V. T. Rajan
Static validation of XSL transformations
Anders P. Moller, Mads Osterby Olesen, Michael I. Schwartzbach
Mutatis Mutandis: safe and predictable dynamic software updating
Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, Iulian Neamtiu
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: