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
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Éric Tanter, Rodolfo Toledo, Guillaume Pothier, Jacques Noyé:
  Flexible metaprogramming and AOP in Java. 22-30
  Electronic Edition (link) BibTeX
• Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev:
  ATL: A model transformation tool. 31-39
  Electronic Edition (link) BibTeX
• Stoney Jackson, Premkumar T. Devanbu, Kwan-Liu Ma:
  Stable, flexible, peephole pretty-printing. 40-51
  Electronic Edition (link) BibTeX
• Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser:
  Stratego/XT 0.17. A language and toolset for program transformation. 52-70
  Electronic Edition (link) BibTeX

Volume 72, Number 3, August 2008

• Edgar G. Daylight, Arnout Vandecappelle, Francky Catthoor:
  The formalism underlying EASYMAP. 71-135
  Electronic Edition (link) BibTeX
• G. P. Kulk, Chris Verhoef:
  Quantifying requirements volatility effects. 136-175
  Electronic Edition (link) BibTeX
• Nicu G. Fruja:
  Towards proving type safety of .NET CIL. 176-219
  Electronic Edition (link) BibTeX
• Ward Douglas Maurer:
  Partially defined computer instructions and guards. 220-239
  Electronic Edition (link) BibTeX