- Bryan Chadwick, Karl J. Lieberherr:
A type system for functional traversal-based aspects. FOAL 2009: 1-6 - Benjamin Delaware, William R. Cook, Don S. Batory:
A machine-checked model of safe composition. FOAL 2009: 31-35 - Mohamed ElBendary, John Boyland
:
Enhancing base-code protection in aspect-oriented programs. FOAL 2009: 19-24 - Emilia Katz, Shmuel Katz:
Modular verification of strongly invasive aspects: summary. FOAL 2009: 7-12 - Tom Staijen, Arend Rensink:
Graph-based specification and simulation of featherweight Java with around advice. FOAL 2009: 25-30 - Mario Südholt:
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 [contents] - 2008
- Gilles Barthe, César Kunz:
Certificate translation for specification-preserving advices. FOAL 2008: 9-18 - William Harrison:
De-constructing and re-constructing aspect-orientation. FOAL 2008: 43-50 - Emilia Katz, Shmuel Katz:
Incremental analysis of interference among aspects. FOAL 2008: 29-38 - Raffi Khatchadourian, Johan Dovland, Neelam Soundarajan:
Enforcing behavioral constraints in evolving aspect-oriented programs. FOAL 2008: 19-28 - Parisa Rashidi, Roger T. Alexander:
Onspect: ontology based aspects. FOAL 2008: 41 - Andreas Sewe, Christoph Bockisch, Mira Mezini:
Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch. FOAL 2008: 1-7 - Chenchen Xi, Bruno Harbulot, John R. Gurd:
A synchronized block join point for AspectJ. FOAL 2008: 39 - Curtis Clifton:
Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008. ACM 2008, ISBN 978-1-60558-110-1 [contents] - 2007
- Tomoyuki Aotani, Hidehiko Masuhara:
Towards a type system for detecting never-matching pointcut compositions. FOAL 2007: 23-26 - Antonio Castaldo D'Ursi, Luca Cavallaro, Mattia Monga:
On bytecode slicing and aspectJ interferences. FOAL 2007: 35-43 - Christopher Dutchyn:
Specializing continuations a model for dynamic join points. FOAL 2007: 45-57 - Christian Hofer, Klaus Ostermann:
On the relation of aspects and monads. FOAL 2007: 27-33 - Peter Hui, James Riely:
Typing for a minimal aspect language: preliminary report. FOAL 2007: 15-22 - Harold Ossher:
Fundamentals of concern manipulation. FOAL 2007: 1-4 - Klaus Ostermann:
Aspects and modular reasoning in nonmonotonic logic. FOAL 2007: 59-64 - Douglas R. Smith:
Requirement enforcement by transformation automata. FOAL 2007: 5-14 - Martin Sulzmann, Meng Wang:
Aspect-oriented programming with type classes. FOAL 2007: 65-74 - William Harrison:
Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007. ACM International Conference Proceeding Series 268, ACM 2007 [contents]
