Loading...
Please wait, while we are loading the content...
Similar Documents
Proceedings of the 7th workshop on Foundations of aspect-oriented languages (FOAL '08)
| Content Provider | ACM Digital Library |
|---|---|
| Editor | Clifton, Curt |
| Copyright Year | 2008 |
| Abstract | Aspect-oriented programming is a paradigm in software engineering and programming languages that promises better support for separation of concerns. The seventh Foundations of Aspect-Oriented Languages (FOAL) workshop was held at the Seventh International Conference on Aspect-Oriented Software Development in Brussels Beligum, on April 1, 2008. 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: 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 workshop was organized by Curtis Clifton (Rose-Hulman Institute of Technology, USA), Shmuel Katz (Technion---Israel Institute of Technology, Israel), Gary T. Leavens (University of Central Florida, USA), and Mira Mezini (Darmstadt University of Technology, Germany). The program committee was chaired by Curtis Clifton. |
| ISBN | 9781605581101 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2008-04-01 |
| Access Restriction | Subscribed |
| Content Type | Text |
| Resource Type | Conference Proceedings |
