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