Editorial
Special section on Formal Techniques for Java-like Programs
Editorial
Articles
- Giovanni Lagorio, Marco Servetto,
Strong exception-safety for checked and unchecked exceptions, pp. 1:1-20, PDF, DOI.
- Jonas Braband Jensen, Lars Birkedal, Peter Sestoft,
Modular Verification of Linked Lists with Views via Separation Logic, pp. 2:1-20, PDF, DOI.
Articles
- Conrad Bock, James Odell,
Ontological Behavior Modeling, pp. 3:1-36, PDF, DOI.
- Francesca Arcelli Fontana, Marco Zanoni, Stefano Maggioni,
Using Design Pattern Clues to Improve the Precision of Design Pattern Detection Tools, pp. 4:1-31, PDF, DOI.
Special section on ICMT 2010
Editorial
Articles
- Javier Troya, Antonio Vallecillo,
A Rewriting Logic Semantics for ATL, pp. 5:1-29, PDF, DOI.
- Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki,
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case, pp. 6:1-25, PDF, DOI.
- Florian Heidenreich, Jan Kopcsek, Uwe Aßmann,
Safe Composition of Transformations, pp. 7:1-20, PDF, DOI.
- Roy Grønmo, Birger Møller-Pedersen,
From UML 2 Sequence Diagrams to State Machines by Graph Transformation, pp. 8:1-22, PDF, DOI.
Special section on Eighth International Conference on Generative Programming and Component Engineering (GPCE'09)
Editorial
Articles
- Phil McGachey, Antony L. Hosking, J. Eliot B. Moss,
Class Transformations for Transparent Distribution of Java Applications, pp. 9:1-35, PDF, DOI.
- Anya Helene Bagge, Valentin David, Magne Haveraaen,
Testing with Axioms in C++ 2011, pp. 10:1-32, PDF, DOI.
Editorial
Columns
Articles
- Kevin Lano, Shekoufeh Kolahdouz-Rahimi,
Slicing Techniques for UML Models, pp. 11:1-49, PDF, DOI.
- Michael Haupt, Stefan Marr, Robert Hirschfeld,
CSOM/PL — A Virtual Machine Product Line, pp. 12:1-30, PDF, DOI.
- Nicholas Nguyen,
SPath: an extensible query-language for Scala, pp. 13:1-37, PDF, DOI.