FOAL'12 Author Index

Bodden, Eric

Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs (Page 1)

Cottenier, Thomas

Modular Reasoning about Region Composition (Page 15)

Douence, Rémi

Taming Aspects with Membranes (Page 3)

Dyer, Robert

Event Type Polymorphism (Page 33)

Fernando, D. Rex

Event Type Polymorphism (Page 33)

Figueroa, Ismael

A Practical Monadic Aspect Weaver (Page 21)

Janssens, Dirk

Design by Contract for Aspects, by Aspects (Page 9)

Kamei, Yasutaka

Architectural Point Mapping for Design Traceability (Page 39)

Katz, Shmuel

Preface

Leavens, T. Gary

Preface

Leger, Paul

A Self-Replication Algorithm to Flexibly Match Execution Traces (Page 27)

Masuhara, Hidehiko

Preface

Molderez, Tim

Design by Contract for Aspects, by Aspects (Page 9)

Rajan, Hridesh

Event Type Polymorphism (Page 33)

Sarna, Külli

Exploiting Aspects in Model-Based Testing (Page 45)

Tabareau, Nicolas

A Practical Monadic Aspect Weaver (Page 21)

Taming Aspects with Membranes (Page 3)

Tanter, Éric

A Practical Monadic Aspect Weaver (Page 21)

A Self-Replication Algorithm to Flexibly Match Execution Traces (Page 27)

Taming Aspects with Membranes (Page 3)

Ubayashi, Naoyasu

Architectural Point Mapping for Design Traceability (Page 39)

Vain, Jüri

Exploiting Aspects in Model-Based Testing (Page 45)

van den Berg, Aswin

Modular Reasoning about Region Composition (Page 15)

Weigert, Thomas

Modular Reasoning about Region Composition (Page 15)