2014 Proceeding- Conference Chairs:
- Gary T. Leavens,
- Hidehiko Masuhara,
- Hridesh Rajan,
- Program Chair:
- Eric Bodden
It is with pleasure that we welcome you to the 13th Foundations of Aspect-Oriented Languages Workshop -- FOAL 2014. This workshop has always played an important role as a productive meeting place for researchers striving to break new ground in the formal modeling of programming languages and other systems supporting advanced modularity mechanisms. This year's edition is the first to be associated with the conference under the name MODULARITY, which has deliberately broadened its scope in comparison with previous years. This also reflects in submissions to FOAL. We have papers covering several areas, bringing together such different topics as event-based programming, context-oriented programming and more. Putting together FOAL 2014 was the joint effort of many people. We thank the authors for providing the content of the program, and the program committee for working hard to review papers and provide feedback for authors. Finally, we thank the MODULARITY 2014 organizers for the smooth collaboration and for establishing the context in which FOAL will take place. We hope that you will find this workshop inspiring and enjoyable, and that it will provide you with plenty of opportunities to share ideas with other researchers and practitioners from around the world.
Proceeding Downloads
To be destructive or not to be, that is the question on modular extensions
Inheritance is a classic mechanism for extending an existing module. Since it preserves the original module, programmers can use both the original module and the extended one in the same program. So inheritance is a non-destructive mechanism. On the ...
Context holders: realizing multiple layer activation mechanisms in a single context-oriented language
We propose LamFJ, a calculus for expressing various layer activation mechanisms in context-oriented programming languages. LamFJ extends FeatherweightJava with context holders which are the abstraction of dynamic layer activation. By encoding programs ...
Event-based modularization: how emergent behavioral patterns must be modularized?
Nowadays, detecting emergent behavioral patterns in the environment, representing and manipulating them become the main focus of many software systems such as traffic monitoring systems, runtime verification techniques and self-adaptive systems. In this ...
Static verification of ptolemyrely programs using openJML
In the PtolemyRely language event types define events that, when announced, trigger the execution of handlers, passing along the triggering piece of code for its eventual execution.
Verification of PtolemyRely programs poses some particular challenges: (...
ECAlogic: hardware-parametric energy-consumption analysis of algorithms
hile green software is a popular topic in computer science nowadays, the average programmer still has little options for analysis of the energy-efficiency of his/her software. Analysis is mostly done dynamically, for which a complex measurement set-up ...
Specification of domain-specific languages based on concern interfaces
Concern-Driven Development (CDD) is a set of software engineering approaches that focus on reusing existing software models. In CDD, a concern encapsulates related software models and provides three interfaces to facilitate reuse. These interfaces allow ...
Index Terms
- Proceedings of the 13th workshop on Foundations of aspect-oriented languages
Recommendations
Acceptance Rates
| Year | Submitted | Accepted | Rate |
|---|---|---|---|
| FOAL '14 | 6 | 5 | 83% |
| Overall | 6 | 5 | 83% |