|
FOAL'12 Table of Contents Preface FOAL 2012 Workshop Organization Invited Keynote Talk Towards
Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs
(Page 1) Session 1: Scoping and Modularity Taming
Aspects with Membranes
(Page 3) Design
by Contract for Aspects, by Aspects
(Page 9) Modular
Reasoning about Region Composition
(Page 15) |
|||||||||
Session 2: Flexible Implementation and Analysis A
Practical Monadic Aspect Weaver
(Page 21) A
Self-Replication Algorithm to Flexibly Match Execution Traces
(Page 27) Event
Type Polymorphism
(Page 33) Session 3: New Semantic Applications Architectural
Point Mapping for Design Traceability
(Page 39) Exploiting
Aspects in Model-Based Testing
(Page 45) |
||||||||||