FOAL Workshop at AOSD 2002

Foundations Of Aspect-Oriented Languages (FOAL)

- Workshop at AOSD 2002 -
(April 22, 2002)

This workshop, affiliated with AOSD 2002 was held in Enschede, The Netherlands on April 22, 2002.

2002 Proceedings PDF file (including all papers, 53 pages, ISU TR #02-06). Print this with annotations to get the page numbers.
Web page giving access to the individual papers in the 2002 proceedings.
Bibtex entries for the papers at the workshop.
Agenda for the workshop.
Themes and Goals
Program Committee
Organization
Old Call For Papers (papers were due March 1, 2002)

Themes and Goals:

FOAL is a forum for research in formal foundations of aspect-oriented programming (AOP) languages. Areas of interest include but are not limited to: formal semantics, formal specification, verification, theory of testing, aspect management, theory of aspect composition, and aspect translation and rewriting All theoretical and foundational studies of this topic are welcome.

The goals of FOAL are to:

Explore the formal foundations of aspect-oriented programming.
Exchange ideas about semantics and formal methods for aspect-oriented programming languages.
Foster interest in the programming language theory communities concerning aspects and aspect-oriented programming languages.
Foster interest in the formal methods community concerning aspects and aspect-oriented programming.

Workshop Program Committee:

James H. Andrews (U. Western Ontario)
Ron Cytron (Washington University)
William (Bill) Harrison (IBM T. J. Watson Research Center)
Gary T. Leavens (Iowa State University)
K. Rustan M. Leino (Microsoft Research)
Oscar Nierstrasz (U. of Berne)
Wolfgang De Meuter (Vrije Universiteit Brussels)
Jens Palsberg (Purdue Univ.)
Kris De Volder (U. of British Columbia)
Mitch Wand (Northeastern University)

Organization

Organizers:

Ron Cytron (Washington University, St. Louis)
Gary T. Leavens (Iowa State University)

Ron Cytron and Gary T. Leavens

Last modified Friday, 3-May-2002 03:42 CDT