![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
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
- 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.