|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 61 occurrences of 44 keywords
|
|
|
Results
Found 54 publication records. Showing 54 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | José Sánchez, Gary T. Leavens |
Static verification of ptolemyrely programs using openJML. |
FOAL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marc Schoolderman, Jascha Neutelings, Rody Kersten, Marko C. J. D. van Eekelen |
ECAlogic: hardware-parametric energy-consumption analysis of algorithms. |
FOAL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Somayeh Malakuti, Mehmet Aksit |
Event-based modularization: how emergent behavioral patterns must be modularized? |
FOAL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Schöttle, Omar Alam, Gunter Mussbacher, Jörg Kienzle |
Specification of domain-specific languages based on concern interfaces. |
FOAL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gary T. Leavens, Hidehiko Masuhara, Hridesh Rajan, Eric Bodden (eds.) |
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland |
FOAL |
2014 |
DBLP BibTeX RDF |
|
1 | Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara |
Context holders: realizing multiple layer activation mechanisms in a single context-oriented language. |
FOAL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shigeru Chiba |
To be destructive or not to be, that is the question on modular extensions. |
FOAL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Henrique Rebêlo, Gary T. Leavens, Ricardo Massa Ferreira Lima, Paulo Borba, Márcio Ribeiro 0001 |
Modular aspect-oriented design rule enforcement with XPIDRs. |
FOAL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Erik Ernst (eds.) |
Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2013, March 26, 2013, Fukuoka, Japan |
FOAL |
2013 |
DBLP BibTeX RDF |
|
1 | Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats, Francesco Zanitti |
Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs. |
FOAL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara |
A core calculus of composite layers. |
FOAL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ismael Figueroa, Nicolas Tabareau, Éric Tanter |
Taming aspects with monads and membranes. |
FOAL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rex D. Fernando, Robert Dyer 0001, Hridesh Rajan |
Event type polymorphism. |
FOAL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bodden |
Towards typesafe weaving for modular reasoning in aspect-oriented programs. |
FOAL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ismael Figueroa, Éric Tanter, Nicolas Tabareau |
A practical monadic aspect weaver. |
FOAL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Éric Tanter, Nicolas Tabareau, Rémi Douence |
Taming aspects with membranes. |
FOAL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul Leger, Éric Tanter |
A self-replication algorithm to flexibly match execution traces. |
FOAL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tim Molderez, Dirk Janssens |
Design by contract for aspects, by aspects. |
FOAL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shmuel Katz, Gary T. Leavens, Hidehiko Masuhara (eds.) |
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012 |
FOAL |
2012 |
DBLP BibTeX RDF |
|
1 | Thomas Cottenier, Aswin van den Berg, Thomas Weigert |
Modular reasoning about region composition. |
FOAL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Naoyasu Ubayashi, Yasutaka Kamei |
Architectural point mapping for design traceability. |
FOAL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Külli Sarna, Jüri Vain |
Exploiting aspects in model-based testing. |
FOAL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hridesh Rajan (eds.) |
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011 |
FOAL |
2011 |
DBLP BibTeX RDF |
|
1 | Nicolas Tabareau |
Aspect oriented programming: a language for 2-categories. |
FOAL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Aotani, Manabu Toyama, Hidehiko Masuhara |
Supporting covariant return types and generics in type relaxed weaving. |
FOAL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cynthia Disenfeld, Shmuel Katz |
Compositional verification of events and observers: (summary). |
FOAL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi Bagherzadeh 0001, Gary T. Leavens, Robert Dyer 0001 |
Applying translucid contracts for modular reasoning about aspect and object oriented events. |
FOAL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ismael Figueroa, Éric Tanter |
A semantics for execution levels with exceptions. |
FOAL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara |
ContextFJ: a minimal core calculus for context-oriented programming. |
FOAL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Delaware, William R. Cook, Don S. Batory |
A machine-checked model of safe composition. |
FOAL |
2009 |
DBLP DOI BibTeX RDF |
feature model, product lines, type safety |
1 | Emilia Katz, Shmuel Katz |
Modular verification of strongly invasive aspects: summary. |
FOAL |
2009 |
DBLP DOI BibTeX RDF |
model-checking, specification, modularity, aspects |
1 | Bryan Chadwick, Karl J. Lieberherr |
A type system for functional traversal-based aspects. |
FOAL |
2009 |
DBLP DOI BibTeX RDF |
adaptive programming, functional aspects, traversals, type soundness |
1 | Luca Cavallaro, Mattia Monga |
Unweaving the impact of aspect changes in AspectJ. |
FOAL |
2009 |
DBLP DOI BibTeX RDF |
software maintenance, aspectj, change impact analysis |
1 | Tom Staijen, Arend Rensink |
Graph-based specification and simulation of featherweight Java with around advice. |
FOAL |
2009 |
DBLP DOI BibTeX RDF |
simulation, verification, graph transformations |
1 | Mario Südholt (eds.) |
Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009 |
FOAL |
2009 |
DBLP BibTeX RDF |
|
1 | Mohamed ElBendary, John Boyland |
Enhancing base-code protection in aspect-oriented programs. |
FOAL |
2009 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, aspectj |
1 | Andreas Sewe, Christoph Bockisch, Mira Mezini |
Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch. |
FOAL |
2008 |
DBLP DOI BibTeX RDF |
dispatch functions, residual dispatch, aspect-oriented programming, ordered binary decision diagrams, advice, pointcuts |
1 | Raffi Khatchadourian, Johan Dovland, Neelam Soundarajan |
Enforcing behavioral constraints in evolving aspect-oriented programs. |
FOAL |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, modular reasoning, rely-guarantee |
1 | Parisa Rashidi, Roger T. Alexander |
Onspect: ontology based aspects. |
FOAL |
2008 |
DBLP DOI BibTeX RDF |
onspect, ontology, semantic pointcuts |
1 | William Harrison |
De-constructing and re-constructing aspect-orientation. |
FOAL |
2008 |
DBLP DOI BibTeX RDF |
specification, broadcast, modularity, separation-of-concerns, encapsulation, complex-event-processing, aspect-oriented, software-composition, obliviousness, malleability, event-flow |
1 | Gilles Barthe, César Kunz |
Certificate translation for specification-preserving advices. |
FOAL |
2008 |
DBLP DOI BibTeX RDF |
AOP, program verification, proof-carrying code |
1 | Curtis Clifton (eds.) |
Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008 |
FOAL |
2008 |
DBLP BibTeX RDF |
|
1 | Chenchen Xi, Bruno Harbulot, John R. Gurd |
A synchronized block join point for AspectJ. |
FOAL |
2008 |
DBLP DOI BibTeX RDF |
synchronized block join point, AspectJ |
1 | Emilia Katz, Shmuel Katz |
Incremental analysis of interference among aspects. |
FOAL |
2008 |
DBLP DOI BibTeX RDF |
model-checking, specification, interference, detection, aspects |
1 | Harold Ossher |
Fundamentals of concern manipulation. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
software decomposition and composition, software queries, separation of concerns, aspect-oriented software development |
1 | William Harrison (eds.) |
Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007 |
FOAL |
2007 |
DBLP BibTeX RDF |
|
1 | Tomoyuki Aotani, Hidehiko Masuhara |
Towards a type system for detecting never-matching pointcut compositions. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
AOP, compositions, records, pointcut |
1 | Christopher Dutchyn |
Specializing continuations a model for dynamic join points. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Christian Hofer, Klaus Ostermann |
On the relation of aspects and monads. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, aspects, monads, monad transformers |
1 | Klaus Ostermann |
Aspects and modular reasoning in nonmonotonic logic. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Castaldo D'Ursi, Luca Cavallaro, Mattia Monga |
On bytecode slicing and aspectJ interferences. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, program analysis, slicing, AspectJ, interference analysis |
1 | Douglas R. Smith |
Requirement enforcement by transformation automata. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter Hui, James Riely |
Typing for a minimal aspect language: preliminary report. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Meng Wang 0002 |
Aspect-oriented programming with type classes. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
type class resolution, type-directed weaving |
Displaying result #1 - #54 of 54 (100 per page; Change: )
|
|