Leavens, Gary T. and Clifton, Curtis (2003) FOAL 2003 Proceedings Foundations of Aspect-Oriented Langauges Workshop at AOSD 2003. Technical Report TR03-05, Computer Science, Iowa State University.
Aspect-oriented programming is an emerging paradigm in software engineering and programming languages that promises better support for separation of concerns. The second Foundations of Aspect-Oriented Languages (FOAL) workshop was held at the 2nd International Conference on Aspect-Oriented Software Development in Boston, Massachusetts, on March 17, 2003. This workshop was designed to be a forum for research in formal foundations of aspect-oriented programming languages. The call for papers announced the areas of interest for FOAL as including, but 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, and applications of such theories in practice (such as language design studies). The call for papers welcomed all theoretical and foundational studies of this topic.
The goals of this FOAL workshop were 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 communities concerning aspects and aspect- oriented programming languages, and foster interest in the formal methods community concerning aspects and aspect-oriented programming. In addition, we hoped that the workshop would produce an outline of collaborative research topics and a list of areas for further exploration.
|Keywords:||Aspect-oriented programming, modular reasoning,
alternating transition systems, composition, inter-aspect dependencies,
AspectJ, aspect classification, aspect reuse,
composition graphs, modeling, modular transition systems,
aspect inheritance, TinyC^2, code instrumentation,
compilers, interpreters, denotational semantics, superimposition,
model checking, Bandera, verification aspects, superimposition
validation, binding interference.|
|Subjects:||Software: PROGRAMMING TECHNIQUES (E)|
Software: PROGRAMMING TECHNIQUES (E): Object-oriented Programming
Software: SOFTWARE ENGINEERING (K.6.3): Requirements/Specifications (D.3.1)
Software: SOFTWARE ENGINEERING (K.6.3): Software/Program Verification (F.3.1)
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1)
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Semantics of Programming Languages (D.3.1)
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Studies of Program Constructs (D.3.2-3)
|Deposited by:||Gary T. Leavens on 11 March 2003|
|Alternative Locations:||http://www.cs.iastate.edu/~leavens/FOAL/papers-2003/proceedings.pdf |
Contact site administrator at: firstname.lastname@example.org