• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 54 matches

• 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

skipping 24 more matches