Login / Signup
FOAL
2007
2010
2014
2007
2014
Keyphrases
Publications
2014
Tomoyuki Aotani
,
Tetsuo Kamina
,
Hidehiko Masuhara
Context holders: realizing multiple layer activation mechanisms in a single context-oriented language.
FOAL
(2014)
Marc Schoolderman
,
Jascha Neutelings
,
Rody Kersten
,
Marko C. J. D. van Eekelen
ECAlogic: hardware-parametric energy-consumption analysis of algorithms.
FOAL
(2014)
Shigeru Chiba
To be destructive or not to be, that is the question on modular extensions.
FOAL
(2014)
José Sánchez
,
Gary T. Leavens
Static verification of ptolemyrely programs using openJML.
FOAL
(2014)
Somayeh Malakuti
,
Mehmet Aksit
Event-based modularization: how emergent behavioral patterns must be modularized?
FOAL
(2014)
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland
FOAL
(2014)
Matthias Schöttle
,
Omar Alam
,
Gunter Mussbacher
,
Jörg Kienzle
Specification of domain-specific languages based on concern interfaces.
FOAL
(2014)
2013
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)
Ismael Figueroa
,
Nicolas Tabareau
,
Éric Tanter
Taming aspects with monads and membranes.
FOAL
(2013)
Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2013, March 26, 2013, Fukuoka, Japan
FOAL
(2013)
Tetsuo Kamina
,
Tomoyuki Aotani
,
Hidehiko Masuhara
A core calculus of composite layers.
FOAL
(2013)
Thomas T. Hildebrandt
,
Raghava Rao Mukkamala
,
Tijs Slaats
,
Francesco Zanitti
Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs.
FOAL
(2013)
2012
Thomas Cottenier
,
Aswin van den Berg
,
Thomas Weigert
Modular reasoning about region composition.
FOAL
(2012)
Rex D. Fernando
,
Robert Dyer
,
Hridesh Rajan
Event type polymorphism.
FOAL
(2012)
Tim Molderez
,
Dirk Janssens
Design by contract for aspects, by aspects.
FOAL
(2012)
Paul Leger
,
Éric Tanter
A self-replication algorithm to flexibly match execution traces.
FOAL
(2012)
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012
FOAL
(2012)
Naoyasu Ubayashi
,
Yasutaka Kamei
Architectural point mapping for design traceability.
FOAL
(2012)
Ismael Figueroa
,
Éric Tanter
,
Nicolas Tabareau
A practical monadic aspect weaver.
FOAL
(2012)
Eric Bodden
Towards typesafe weaving for modular reasoning in aspect-oriented programs.
FOAL
(2012)
Külli Sarna
,
Jüri Vain
Exploiting aspects in model-based testing.
FOAL
(2012)
Éric Tanter
,
Nicolas Tabareau
,
Rémi Douence
Taming aspects with membranes.
FOAL
(2012)
2011
Nicolas Tabareau
Aspect oriented programming: a language for 2-categories.
FOAL
(2011)
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011
FOAL
(2011)
Tomoyuki Aotani
,
Manabu Toyama
,
Hidehiko Masuhara
Supporting covariant return types and generics in type relaxed weaving.
FOAL
(2011)
Ismael Figueroa
,
Éric Tanter
A semantics for execution levels with exceptions.
FOAL
(2011)
Robert Hirschfeld
,
Atsushi Igarashi
,
Hidehiko Masuhara
ContextFJ: a minimal core calculus for context-oriented programming.
FOAL
(2011)
Cynthia Disenfeld
,
Shmuel Katz
Compositional verification of events and observers: (summary).
FOAL
(2011)
Mehdi Bagherzadeh
,
Gary T. Leavens
,
Robert Dyer
Applying translucid contracts for modular reasoning about aspect and object oriented events.
FOAL
(2011)