- 2014
- Tomoyuki Aotani
, Tetsuo Kamina, Hidehiko Masuhara:
Context holders: realizing multiple layer activation mechanisms in a single context-oriented language. FOAL 2014: 3-6 - Shigeru Chiba:
To be destructive or not to be, that is the question on modular extensions. FOAL 2014: 1-2 - Somayeh Malakuti, Mehmet Aksit:
Event-based modularization: how emergent behavioral patterns must be modularized? FOAL 2014: 7-12 - José Sánchez, Gary T. Leavens:
Static verification of ptolemyrely programs using openJML. FOAL 2014: 13-18 - Marc Schoolderman, Jascha Neutelings, Rody Kersten, Marko C. J. D. van Eekelen:
ECAlogic: hardware-parametric energy-consumption analysis of algorithms. FOAL 2014: 19-22 - Matthias Schöttle, Omar Alam, Gunter Mussbacher, Jörg Kienzle:
Specification of domain-specific languages based on concern interfaces. FOAL 2014: 23-28 - Gary T. Leavens, Hidehiko Masuhara, Hridesh Rajan, Eric Bodden:
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland. ACM 2014, ISBN 978-1-4503-2798-5 [contents] - 2013
- Ismael Figueroa, Nicolas Tabareau, Éric Tanter:
Taming aspects with monads and membranes. FOAL 2013: 1-6 - Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats, Francesco Zanitti:
Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs. FOAL 2013: 19-24 - Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara:
A core calculus of composite layers. FOAL 2013: 7-12 - Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima, Paulo Borba, Márcio Ribeiro:
Modular aspect-oriented design rule enforcement with XPIDRs. FOAL 2013: 13-18 - Erik Ernst:
Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2013, March 26, 2013, Fukuoka, Japan. ACM 2013, ISBN 978-1-4503-1865-5 [contents] - 2012
- Eric Bodden:
Towards typesafe weaving for modular reasoning in aspect-oriented programs. FOAL 2012: 1-2 - Thomas Cottenier, Aswin van den Berg, Thomas Weigert:
Modular reasoning about region composition. FOAL 2012: 15-20 - Rex D. Fernando, Robert Dyer, Hridesh Rajan:
Event type polymorphism. FOAL 2012: 33-38 - Ismael Figueroa, Éric Tanter, Nicolas Tabareau:
A practical monadic aspect weaver. FOAL 2012: 21-26 - Paul Leger, Éric Tanter:
A self-replication algorithm to flexibly match execution traces. FOAL 2012: 27-32 - Tim Molderez, Dirk Janssens:
Design by contract for aspects, by aspects. FOAL 2012: 9-14 - Külli Sarna, Jüri Vain:
Exploiting aspects in model-based testing. FOAL 2012: 45-48 - Éric Tanter, Nicolas Tabareau, Rémi Douence:
Taming aspects with membranes. FOAL 2012: 3-8 - Naoyasu Ubayashi, Yasutaka Kamei:
Architectural point mapping for design traceability. FOAL 2012: 39-44 - Shmuel Katz, Gary T. Leavens, Hidehiko Masuhara:
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012. ACM 2012, ISBN 978-1-4503-1099-4 [contents] - 2011
- Tomoyuki Aotani, Manabu Toyama, Hidehiko Masuhara:
Supporting covariant return types and generics in type relaxed weaving. FOAL 2011: 25-29 - Mehdi Bagherzadeh, Gary T. Leavens, Robert Dyer:
Applying translucid contracts for modular reasoning about aspect and object oriented events. FOAL 2011: 31-35 - Cynthia Disenfeld, Shmuel Katz:
Compositional verification of events and observers: (summary). FOAL 2011: 1-5 - Ismael Figueroa, Éric Tanter:
A semantics for execution levels with exceptions. FOAL 2011: 7-11 - Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara:
ContextFJ: a minimal core calculus for context-oriented programming. FOAL 2011: 19-23 - Nicolas Tabareau:
Aspect oriented programming: a language for 2-categories. FOAL 2011: 13-17 - Hridesh Rajan:
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011. ACM 2011, ISBN 978-1-4503-0644-7 [contents] - 2009
- Luca Cavallaro, Mattia Monga:
Unweaving the impact of aspect changes in AspectJ. FOAL 2009: 13-18
