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

dc.contributor.author Clifton, Curtis
dc.contributor.author Laemmel, Ralf
dc.contributor.author Leavens, Gary
dc.contributor.department Computer Science
dc.date 2018-02-14T00:23:43.000
dc.date.accessioned 2020-06-30T01:56:29Z
dc.date.available 2020-06-30T01:56:29Z
dc.date.issued 2004-01-01
dc.description.abstract <p>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.</p>
dc.identifier archive/lib.dr.iastate.edu/cs_techreports/295/
dc.identifier.articleid 1278
dc.identifier.contextkey 5493614
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/295
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/20122
dc.source.bitstream archive/lib.dr.iastate.edu/cs_techreports/295/proceedings.pdf|||Fri Jan 14 23:15:04 UTC 2022
dc.subject.disciplines Programming Languages and Compilers
dc.subject.disciplines Theory and Algorithms
dc.subject.keywords Aspect-oriented Programming Languages
dc.subject.keywords Aspects
dc.subject.keywords Pointcuts
dc.subject.keywords AspectJ
dc.subject.keywords Static Analysis
dc.subject.keywords Modular Reasoning
dc.subject.keywords Specification
dc.subject.keywords Verification
dc.subject.keywords TinyAspect
dc.subject.keywords Open Modules
dc.subject.keywords Bisimulation
dc.subject.keywords Encapsulation
dc.subject.keywords Formal Semantics
dc.subject.keywords Program Slicing
dc.subject.keywords Implicit Invocation
dc.subject.keywords Model Checking
dc.subject.keywords Horizontal Architectures
dc.subject.keywords Superposition
dc.subject.keywords Reactive Systems
dc.subject.keywords Synchronous Languages
dc.title FOAL 2004 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2004
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
File
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
proceedings.pdf
Size:
1023.1 KB
Format:
Adobe Portable Document Format
Description:
Collections