Themes and Goals
FOAL is a forum for research in foundations of aspect-oriented programming languages. Areas of interest include but are not limited to:
- Semantics of aspect-oriented languages
- Specification and verification for such languages
- Type systems
- Static analysis
- Theory of testing
- Theory of aspect composition
- Theory of aspect translation compilation) and rewriting,
- Applications of such theories in practice (such as language design studies).
The workshop aims to foster work in foundations, including formal studies, promote the exchange of ideas, and encourage workers in the semantics and formal methods communities to do research in the area of aspect-oriented programming languages. All theoretical and foundational studies of this topic are welcome.
The goals of FOAL are to:
- Make progress on the foundations of aspect-oriented programming languages.
- Exchange ideas about semantics and formal methods for aspect-oriented programming languages.
- Foster interest in the programming language theory community in aspect-oriented programming languages.
- Foster interest in the formal methods community in aspect-oriented programming and the problems of reasoning about aspect-oriented programs.
Page last modified Saturday, October 31, 2009.