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
Last update Sat May 26 06:59:47 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
