AOSD 2012 Compilation Proceedings

FOAL'12 Table of Contents

Preface
Shmuel Katz (Technion-Israel Institute of Technology)
Gary T. Leavens (University of Central Florida)
Hidehiko Masuhara (University of Tokyo)

FOAL 2012 Workshop Organization

Author Index

Invited Keynote Talk

Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs (Page 1)
Eric Bodden (Technische Universität Darmstadt)

Session 1: Scoping and Modularity

Taming Aspects with Membranes (Page 3)
Éric Tanter (University of Chile)
Nicolas Tabareau (INRIA)
Rémi Douence (Ecole des Mines de Nantes)

Design by Contract for Aspects, by Aspects (Page 9)
Tim Molderez (University of Antwerp)
Dirk Janssens (University of Antwerp)

Modular Reasoning about Region Composition (Page 15)
Thomas Cottenier (UniqueSoft, LLC)
Aswin van den Berg (UniqueSoft, LLC)
Thomas Weigert (Missouri University of Science and Technology)

(Return to Top)

Session 2: Flexible Implementation and Analysis

A Practical Monadic Aspect Weaver (Page 21)
Ismael Figueroa (University of Chile)
Éric Tanter (University of Chile)
Nicolas Tabareau (INRIA)

A Self-Replication Algorithm to Flexibly Match Execution Traces (Page 27)
Paul Leger (University of Chile)
Éric Tanter (University of Chile)

Event Type Polymorphism (Page 33)
Rex D. Fernando (Iowa State University)
Robert Dyer (Iowa State University)
Hridesh Rajan (Iowa State University)

Session 3: New Semantic Applications

Architectural Point Mapping for Design Traceability (Page 39)
Naoyasu Ubayashi (Kyushu University)
Yasutaka Kamei (Kyushu University)

Exploiting Aspects in Model-Based Testing (Page 45)
Külli Sarna (ELIKO Competence Centre in Electronics-, Info- and Communication Technologies)
Jüri Vain (Tallinn University of Technology)