Of Aspect-Oriented Languages (FOAL)
- Workshop at AOSD
(April 22, 2002)
This workshop, affiliated with AOSD
2002 was held in Enschede, The Netherlands on April 22, 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
Exchange ideas about semantics and formal methods for aspect-oriented programming
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
Workshop Program Committee:
Ron Cytron and Gary T. Leavens
Last modified Friday, 3-May-2002 03:42 CDT