Clifton, Curtis, Laemmel, Ralf and Leavens, Gary T. (2004) FOAL 2004 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2004. Technical Report 04-04, Dept. of Computer Science, Iowa State University.
Aspect-oriented programming is a paradigm in software engineering and FOAL logos courtesy of Luca Cardelli programming languages that promises better support for separation of concerns. The third Foundations of Aspect-Oriented Languages (FOAL) workshop was held at the Third International Conference on Aspect-Oriented Software Development in Lancaster, UK, on March 23, 2004. 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, and theory of aspect translation (compilation) and rewriting. The call for papers welcomed all theoretical and foundational studies of foundations of aspect-oriented languages. 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 within the programming language theory and types communities in aspect-oriented programming languages. • Foster interest within the formal methods community in aspect-oriented programming and the problems of reasoning about aspect-oriented programs. The papers at the workshop, which are included in the proceedings, were selected frompapers submitted by researchers worldwide. Due to time limitations at the workshop, not all of the submitted papers were selected for presentation. FOAL also welcomed an invited talk by James Riely (DePaul University), the abstract of which is included below. The workshop was organized by Gary T. Leavens (Iowa State University), Ralf L?ammel (CWI and Vrije Universiteit, Amsterdam), and Curtis Clifton (Iowa State University). The program committee was chaired by L?ammel and included L?ammel, Leavens, Clifton, Lodewijk Bergmans (University of Twente), John Tang Boyland (University of Wisconsin, Milwaukee), William R. Cook (University of Texas at Austin), Tzilla Elrad (Illinois Institute of Technology), Kathleen Fisher (AT&T Labs–Research), Radha Jagadeesan (DePaul University), Shmuel Katz (Technion–Israel Institute of Technology), Shriram Krishnamurthi (Brown University), Mira Mezini (Darmstadt University of Technology), Todd Millstein (University of California, Los Angeles), Benjamin C. Pierce (University of Pennsylvania), Henny Sipma (Stanford University), Mario S?udholt ( ?Ecole des Mines de Nantes), and David Walker (Princeton University). We thank the organizers of AOSD 2004 for hosting the workshop.
|Keywords:||Aspect-oriented Programming Languages, Aspects, Pointcuts, AspectJ, Static Analysis, Modular Reasoning, Specification, Verification, TinyAspect, Open Modules, Bisimulation, Encapsulation, Formal Semantics, Program Slicing, Implicit Invocation, Model Checking, Horizontal Architectures, Superposition, Reactive Systems, Synchronous Languages |
|Comments:||Each paper’s copyright is held by its author or authors. |
|Subjects:||Software: PROGRAMMING LANGUAGES: Formal Definitions and Theory (D.2.1, F.3.1-2, F.4.2-3)|
Software: PROGRAMMING LANGUAGES: Language Constructs and Features (E.2)
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)
|Deposited by:||Curtis Clifton on 12 March 2004|
|Alternative Locations:||http://www.cs.iastate.edu/~leavens/FOAL/papers-2004/proceedings.pdf |
Contact site administrator at: firstname.lastname@example.org