archives

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


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Clifton, Curtis, Laemmel, Ralf and Leavens, Gary T. (2005) FOAL 2005 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2005. Technical Report 05-05, Computer Science, Iowa State University.

Full text available as:Adobe PDF

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.

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.
Comments:The workshop was held in Chicago, Illinois on March 14, 2005.
Subjects:Software: PROGRAMMING TECHNIQUES (E)
Software: SOFTWARE ENGINEERING (K.6.3): Coding Tools and Techniques
Software: PROGRAMMING LANGUAGES
Software: PROGRAMMING LANGUAGES: General
Software: PROGRAMMING LANGUAGES: Formal Definitions and Theory (D.2.1, F.3.1-2, F.4.2-3)
Software: PROGRAMMING LANGUAGES: Language Classifications
Software: PROGRAMMING LANGUAGES: Language Constructs and Features (E.2)
Software: PROGRAMMING LANGUAGES: Processors
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)
ID code:00000361
Deposited by:Gary T. Leavens on 10 March 2005
Alternative Locations:http://www.cs.iastate.edu/~leavens/FOAL/papers-2005/proceedings.pdf



Contact site administrator at: ssg@cs.iastate.edu