Science of Computer Programming, Volume 72
Volume 72, Numbers 1-2, June 2008
M. G. J. van den Brand: Guest editor's introduction: Second issue of experimental software and toolkits (EST). 1-2- Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. 3-21
- Éric Tanter, Rodolfo Toledo, Guillaume Pothier, Jacques Noyé: Flexible metaprogramming and AOP in Java. 22-30
- Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev: ATL: A model transformation tool. 31-39
- Stoney Jackson, Premkumar T. Devanbu, Kwan-Liu Ma: Stable, flexible, peephole pretty-printing. 40-51
- Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser: Stratego/XT 0.17. A language and toolset for program transformation. 52-70
Volume 72, Number 3, August 2008
- Nicu G. Fruja: Towards proving type safety of .NET CIL. 176-219
- Ward Douglas Maurer: Partially defined computer instructions and guards. 220-239
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team