FOAL 2003 Proceedings Foundations of Aspect-Oriented Langauges Workshop at AOSD 2003 Leavens, Gary Clifton, Curtis
dc.contributor.department Computer Science 2018-02-14T00:55:29.000 2020-06-30T01:56:37Z 2020-06-30T01:56:37Z 2003-03-01
dc.description.abstract <p>Aspect-oriented programming is an emerging paradigm in software engineering and programming languages that promises better support for separation of concerns. The second Foundations of Aspect-Oriented Languages (FOAL) workshop was held at the 2nd International Conference on Aspect-Oriented Software Development in Boston, Massachusetts, on March 17, 2003. 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, theory of aspect translation (compilation) and rewriting, and applications of such theories in practice (such as language design studies). The call for papers welcomed all theoretical and foundational studies of this topic. 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 in the programming language theory communities concerning aspects and aspect- oriented programming languages, and foster interest in the formal methods community concerning aspects and aspect-oriented programming. In addition, we hoped that the workshop would produce an outline of collaborative research topics and a list of areas for further exploration.</p>
dc.identifier archive/
dc.identifier.articleid 1324
dc.identifier.contextkey 5540272
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/311
dc.source.bitstream archive/|||Fri Jan 14 23:31:21 UTC 2022
dc.subject.disciplines Software Engineering
dc.subject.disciplines Theory and Algorithms
dc.subject.keywords Aspect-oriented programming
dc.subject.keywords modular reasoning
dc.subject.keywords alternating transition systems
dc.subject.keywords composition
dc.subject.keywords inter-aspect dependencies
dc.subject.keywords AspectJ
dc.subject.keywords aspect classification
dc.subject.keywords aspect reuse
dc.subject.keywords composition graphs
dc.subject.keywords modeling
dc.subject.keywords modular transition systems
dc.subject.keywords aspect inheritance
dc.subject.keywords TinyC^2
dc.subject.keywords code instrumentation
dc.subject.keywords compilers
dc.subject.keywords interpreters
dc.subject.keywords denotational semantics
dc.subject.keywords superimposition
dc.subject.keywords model checking
dc.subject.keywords Bandera
dc.subject.keywords verification aspects
dc.subject.keywords superimposition validation
dc.subject.keywords binding interference
dc.title FOAL 2003 Proceedings Foundations of Aspect-Oriented Langauges Workshop at AOSD 2003
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
1.52 MB
Adobe Portable Document Format