FOAL 2005 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2005

Date
2005-03-01
Authors
Clifton, Curtis
Laemmel, Ralf
Leavens, Gary
Journal Title
Journal ISSN
Volume Title
Publisher
Source URI
Altmetrics
Authors
Research Projects
Organizational Units
Computer Science
Organizational Unit
Journal Issue
Series
Abstract

Aspect-oriented programming is a paradigm in software engineering and programming languages that promises better support for separation of concerns. The fourth Foundations of Aspect-Oriented Languages (FOAL) workshop was held at the Fourth International Conference on Aspect-Oriented Software Development in Chicago, USA, on March 14, 2005. This workshop was designed to be a forum for research in formal foundations of aspect-oriented programming languages.

Description
Keywords
Aspect-oriented programming languages, aspects, pointcuts, advice, AspectJ, formal semantics, static analysis, behavior, method call interception, program transformation, loops, LoopsAJ, context exposure, Real-Time Specification for Java, RTSJ, scoped memory, program slicing, separation of concerns, crosscutting concerns, temporal relations between events, predicates over execution traces, Aspectual Caml, type inference, polymorphism, curried functions, around advice, proceed, type soundness
Citation
Collections