8. FOAL 2009: Charlottesville, Virginia, USA

Mario Südholt (Ed.): Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009. ACM 2009, ISBN 978-1-60558-452-2

Session 1

Bryan Chadwick, Karl J. Lieberherr:
A type system for functional traversal-based aspects. 1-6
Emilia Katz, Shmuel Katz:
Modular verification of strongly invasive aspects: summary. 7-12

Session 2

Luca Cavallaro, Mattia Monga:
Unweaving the impact of aspect changes in AspectJ. 13-18
Mohamed ElBendary, John Boyland:
Enhancing base-code protection in aspect-oriented programs. 19-24
Tom Staijen, Arend Rensink:
Graph-based specification and simulation of featherweight Java with around advice. 25-30

Session 3

Benjamin Delaware, William R. Cook, Don S. Batory:
A machine-checked model of safe composition. 31-35

Copyright © Mon Nov 2 20:36:38 2009 by Michael Ley (ley@uni-trier.de)