Sign in
FOAL
2007
2009
2012
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)
2009
Benjamin Delaware
,
William R. Cook
,
Don S. Batory
A machine-checked model of safe composition.
FOAL
(2009)
Mohamed ElBendary
,
John Boyland
Enhancing base-code protection in aspect-oriented programs.
FOAL
(2009)
Luca Cavallaro
,
Mattia Monga
Unweaving the impact of aspect changes in AspectJ.
FOAL
(2009)
Emilia Katz
,
Shmuel Katz
Modular verification of strongly invasive aspects: summary.
FOAL
(2009)
Tom Staijen
,
Arend Rensink
Graph-based specification and simulation of featherweight Java with around advice.
FOAL
(2009)
Bryan Chadwick
,
Karl J. Lieberherr
A type system for functional traversal-based aspects.
FOAL
(2009)
Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009
FOAL
(2009)
2008
Parisa Rashidi
,
Roger T. Alexander
Onspect: ontology based aspects.
FOAL
(2008)
Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008
FOAL
(2008)
Chenchen Xi
,
Bruno Harbulot
,
John R. Gurd
A synchronized block join point for AspectJ.
FOAL
(2008)
Emilia Katz
,
Shmuel Katz
Incremental analysis of interference among aspects.
FOAL
(2008)
William Harrison
De-constructing and re-constructing aspect-orientation.
FOAL
(2008)
Andreas Sewe
,
Christoph Bockisch
,
Mira Mezini
Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch.
FOAL
(2008)
Gilles Barthe
,
César Kunz
Certificate translation for specification-preserving advices.
FOAL
(2008)
Raffi Khatchadourian
,
Johan Dovland
,
Neelam Soundarajan
Enforcing behavioral constraints in evolving aspect-oriented programs.
FOAL
(2008)
2007
Tomoyuki Aotani
,
Hidehiko Masuhara
Towards a type system for detecting never-matching pointcut compositions.
FOAL
(2007)
Christopher Dutchyn
Specializing continuations a model for dynamic join points.
FOAL
(2007)
Douglas R. Smith
Requirement enforcement by transformation automata.
FOAL
(2007)
Christian Hofer
,
Klaus Ostermann
On the relation of aspects and monads.
FOAL
(2007)
Peter Hui
,
James Riely
Typing for a minimal aspect language: preliminary report.
FOAL
(2007)
volume 268, 2007
Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007
FOAL
268 (2007)