|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland, pp. 13-18, 2014, ACM, 978-1-4503-2798-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland, pp. 19-22, 2014, ACM, 978-1-4503-2798-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Somayeh Malakuti, Mehmet Aksit |
Event-based modularization: how emergent behavioral patterns must be modularized? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland, pp. 7-12, 2014, ACM, 978-1-4503-2798-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland, pp. 23-28, 2014, ACM, 978-1-4503-2798-5. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![ACM, 978-1-4503-2798-5 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara |
Context holders: realizing multiple layer activation mechanisms in a single context-oriented language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland, pp. 3-6, 2014, ACM, 978-1-4503-2798-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shigeru Chiba |
To be destructive or not to be, that is the question on modular extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland, pp. 1-2, 2014, ACM, 978-1-4503-2798-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2013, March 26, 2013, Fukuoka, Japan, pp. 13-18, 2013, ACM, 978-1-4503-1865-5. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![ACM, 978-1-4503-1865-5 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2013, March 26, 2013, Fukuoka, Japan, pp. 19-24, 2013, ACM, 978-1-4503-1865-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara |
A core calculus of composite layers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2013, March 26, 2013, Fukuoka, Japan, pp. 7-12, 2013, ACM, 978-1-4503-1865-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ismael Figueroa, Nicolas Tabareau, Éric Tanter |
Taming aspects with monads and membranes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2013, March 26, 2013, Fukuoka, Japan, pp. 1-6, 2013, ACM, 978-1-4503-1865-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rex D. Fernando, Robert Dyer 0001, Hridesh Rajan |
Event type polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012, pp. 33-38, 2012, ACM, 978-1-4503-1099-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bodden |
Towards typesafe weaving for modular reasoning in aspect-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012, pp. 1-2, 2012, ACM, 978-1-4503-1099-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ismael Figueroa, Éric Tanter, Nicolas Tabareau |
A practical monadic aspect weaver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012, pp. 21-26, 2012, ACM, 978-1-4503-1099-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Éric Tanter, Nicolas Tabareau, Rémi Douence |
Taming aspects with membranes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012, pp. 3-8, 2012, ACM, 978-1-4503-1099-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul Leger, Éric Tanter |
A self-replication algorithm to flexibly match execution traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012, pp. 27-32, 2012, ACM, 978-1-4503-1099-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tim Molderez, Dirk Janssens |
Design by contract for aspects, by aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012, pp. 9-14, 2012, ACM, 978-1-4503-1099-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![ACM, 978-1-4503-1099-4 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Thomas Cottenier, Aswin van den Berg, Thomas Weigert |
Modular reasoning about region composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012, pp. 15-20, 2012, ACM, 978-1-4503-1099-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Naoyasu Ubayashi, Yasutaka Kamei |
Architectural point mapping for design traceability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012, pp. 39-44, 2012, ACM, 978-1-4503-1099-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Külli Sarna, Jüri Vain |
Exploiting aspects in model-based testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012, pp. 45-48, 2012, ACM, 978-1-4503-1099-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![ACM, 978-1-4503-0644-7 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Nicolas Tabareau |
Aspect oriented programming: a language for 2-categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011, pp. 13-17, 2011, ACM, 978-1-4503-0644-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Aotani, Manabu Toyama, Hidehiko Masuhara |
Supporting covariant return types and generics in type relaxed weaving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011, pp. 25-29, 2011, ACM, 978-1-4503-0644-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cynthia Disenfeld, Shmuel Katz |
Compositional verification of events and observers: (summary). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011, pp. 1-5, 2011, ACM, 978-1-4503-0644-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011, pp. 31-35, 2011, ACM, 978-1-4503-0644-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ismael Figueroa, Éric Tanter |
A semantics for execution levels with exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011, pp. 7-11, 2011, ACM, 978-1-4503-0644-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara |
ContextFJ: a minimal core calculus for context-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011, pp. 19-23, 2011, ACM, 978-1-4503-0644-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Delaware, William R. Cook, Don S. Batory |
A machine-checked model of safe composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009, pp. 31-35, 2009, ACM, 978-1-60558-452-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
feature model, product lines, type safety |
1 | Emilia Katz, Shmuel Katz |
Modular verification of strongly invasive aspects: summary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009, pp. 7-12, 2009, ACM, 978-1-60558-452-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model-checking, specification, modularity, aspects |
1 | Bryan Chadwick, Karl J. Lieberherr |
A type system for functional traversal-based aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009, pp. 1-6, 2009, ACM, 978-1-60558-452-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009, pp. 13-18, 2009, ACM, 978-1-60558-452-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009, pp. 25-30, 2009, ACM, 978-1-60558-452-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![ACM, 978-1-60558-452-2 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Mohamed ElBendary, John Boyland |
Enhancing base-code protection in aspect-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009, pp. 19-24, 2009, ACM, 978-1-60558-452-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008, pp. 1-7, 2008, ACM, 978-1-60558-110-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008, pp. 19-28, 2008, ACM, 978-1-60558-110-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, modular reasoning, rely-guarantee |
1 | Parisa Rashidi, Roger T. Alexander |
Onspect: ontology based aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008, pp. 41, 2008, ACM, 978-1-60558-110-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
onspect, ontology, semantic pointcuts |
1 | William Harrison |
De-constructing and re-constructing aspect-orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008, pp. 43-50, 2008, ACM, 978-1-60558-110-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008, pp. 9-18, 2008, ACM, 978-1-60558-110-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![ACM, 978-1-60558-110-1 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Chenchen Xi, Bruno Harbulot, John R. Gurd |
A synchronized block join point for AspectJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008, pp. 39, 2008, ACM, 978-1-60558-110-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
synchronized block join point, AspectJ |
1 | Emilia Katz, Shmuel Katz |
Incremental analysis of interference among aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008, pp. 29-38, 2008, ACM, 978-1-60558-110-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model-checking, specification, interference, detection, aspects |
1 | Harold Ossher |
Fundamentals of concern manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007, pp. 1-4, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![ACM The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Tomoyuki Aotani, Hidehiko Masuhara |
Towards a type system for detecting never-matching pointcut compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007, pp. 23-26, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
AOP, compositions, records, pointcut |
1 | Christopher Dutchyn |
Specializing continuations a model for dynamic join points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007, pp. 45-57, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Christian Hofer, Klaus Ostermann |
On the relation of aspects and monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007, pp. 27-33, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, aspects, monads, monad transformers |
1 | Klaus Ostermann |
Aspects and modular reasoning in nonmonotonic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007, pp. 59-64, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Castaldo D'Ursi, Luca Cavallaro, Mattia Monga |
On bytecode slicing and aspectJ interferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007, pp. 35-43, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, program analysis, slicing, AspectJ, interference analysis |
1 | Douglas R. Smith |
Requirement enforcement by transformation automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007, pp. 5-14, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter Hui, James Riely |
Typing for a minimal aspect language: preliminary report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007, pp. 15-22, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Meng Wang 0002 |
Aspect-oriented programming with type classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007, pp. 65-74, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
type class resolution, type-directed weaving |
Displaying result #1 - #54 of 54 (100 per page; Change: )
|
|