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 BibTeX

Session 1

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

Session 2

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

Session 3

Benjamin Delaware, William R. Cook, Don S. Batory:
A machine-checked model of safe composition. 31-35
Electronic Edition (ACM DL) BibTeX

Copyright © Sat May 16 23:12:21 2009 by Michael Ley (ley@uni-trier.de)