Loading...
Please wait, while we are loading the content...
Similar Documents
FOAL 2011 Proceedings Proceedings of the Tenth Workshop on Foundations of Aspect-Oriented Languages held at the
| Content Provider | Semantic Scholar |
|---|---|
| Author | Leavens, Gary T. |
| Abstract | Permission to make digital or hard copies of portions of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyright for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permission to republish from: Publications Dept. ACM, Inc. Fax +1 (212) 869-0481 or permissions@acm.org. For other copying of articles that carry a code at the bottom of the first or last page, copying is permitted provided that the per-copy fee indicated in the code is paid through the Notice to Past Authors of ACM-Published Articles ACM intends to create a complete electronic archive of all articles and/or other material previously published by ACM. If you have written a work that was previously published by ACM in any journal or conference proceedings prior to 1978, or any SIG Newsletter at any time, and you do NOT want this work to appear in the ACM Digital Library, please inform permissions@acm.org, stating the title of the work, the author(s), and where and when published. Preface 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. 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. Japan). We are very grateful to the program committee, which was chaired very ably by Hridesh Rajan. … |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.eecs.ucf.edu/~leavens/FOAL/papers-2011/front-matter.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
