This is the main web page for the 2004 instance of the Foundations of Aspect-Oriented Languages workshop. FOAL 2004 was held in conjunction with AOSD 2004 in Lancaster, UK, on Tuesday, 23 March 2004.

This page contains the following information:

The original call for papers is also available, though the submittal deadline has passed.


FOAL 2004 was held in conjunction with AOSD 2004 in Lancaster, UK, on Tuesday, 23 March 2004. The proceedings and slides from a few of the talks (linked from the agenda below) are available.


The workshop proceedings (in pdf format) are now available.


You may also be interested in a printer-friendly version of the agenda.

Tuesday, 23 March 2004
Lancaster University
Lancaster, UK

George Fox Building, Room LT4

Session 1


Welcome (15 minutes)

Gary T. Leavens—Iowa State University

Ralf Lämmel—CWI and Vrije Universiteit, Amsterdam

Curtis Clifton—Iowa State University

Diagnosis of Harmful Aspects Using Regression Verification (10 minutes) [Full text] [Slides]

Shmuel Katz—The Technion

Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented Programming (45 minutes) [Full text]

Jonathan Aldrich—Carnegie Mellon University

Discussion (20 minutes)

Session 2


Invited Talk—Formal AOP: Opportunities Abound (1 hour) [Slides]

James Riely—DePaul University

Discussion, “Open Microphone” (30 minutes)

Lunch—Informal Discussions


Session 3


Call and Execution Semantics in AspectJ (25 minutes) [Full text]

Ohad Barzilay—Tel Aviv University

Yishai A. Feldman—The Interdisciplinary Center, Herzliya

Shmuel Tyszberowicz—The Academic College of Tel Aviv Yaffo

Amiram Yehudai—Tel Aviv University

Using Program Slicing to Analyze Aspect Oriented Composition (25 minutes) [Full text]

Davide Balzarotti—Politecnico di Milanow

Mattia Monga—Università degli Studi di Milano

Aspect Reasoning by Reduction to Implicit Invocation (25 minutes) [Full text]

Jia Xu—University of Virginia

Hridesh Rajan—University of Virginia

Kevin Sullivan—University of Virginia

Discussion (15 minutes)

Session 4


On the Horizontal Dimension of Software Architecture in Formal Specifications of Reactive Systems (25 minutes) [Full text] [Slides]

Mika Katara—Tampere University of Technology

Reino Kurki-Suonio—Tampere University of Technology

Tommi Mikkonen—Tampere University of Technology

Exploring Aspects in the Context of Reactive Systems (25 minutes) [Full text] [Slides]

Karine Altisen—Verimag/INPG, Grenoble

Florence Maraninchi—Verimag/INPG, Grenoble

David Stauch—Verimag/INPG, Grenoble

Discussion, Workshop Summary (40 minutes)

Please note:


We are pleased to have assembled an exceptional program committee for FOAL this year:


Page last modified Saturday, October 31, 2009.