Compositional Reasoning About Aspects Using Alternating-time Logic

Abstract

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 or such languages, type systems, static analysis, theory of testing, theory of aspect composition, theory of aspect translation (compilation) and rewriting, and 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.