default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience 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
- Edgar G. Daylight, Arnout Vandecappelle, Francky Catthoor:
The formalism underlying EASYMAP. 71-135 - G. P. Kulk, Chris Verhoef:
Quantifying requirements volatility effects. 136-175 - Nicu G. Fruja:
Towards proving type safety of .NET CIL. 176-219 - Ward Douglas Maurer:
Partially defined computer instructions and guards. 220-239
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-21 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
