[{"text":"\n\nMark Arends. A simulation of the java virtual machine using graph grammars. In Master thesis. 2003.\n\n"},{"text":"\n\nLodewijk Bergmans and Mehmet Aksit. Principles and design rationale of composition filters. In Robert E. Filman, Tzilla Elrad, Siobh--an Clarke, and Mehmet Aksit, editors, Aspect-Oriented Software Development, pages 63--95. Addison-Wesley, Boston, 2005.\n\n"},{"text":"\n\nCurtis Clifton and Gary T. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. In Ron Cytron and Gary T. Leavens, editors, FOAL 2002: Foundations of Aspect-Oriented Languages (AOSD-2002), pages 33--44, March 2002.\n\n"},{"text":"\n\nAndrea Corradini, Fernando L. Dotti, Luciana Foss, and Leila Ribeiro. Translating java into graph transformation systems. In Hartmut Ehrig, Gregor Engels, Fransesco Parisi-Presicce, and Grzegorz Rozenberg, editors, Second International Conference on Graph Transformation (ICGT), volume 3256 of Lecture Notes in Computer Science, pages 383--389. Springer-Verlag, 2004.\n\n"},{"text":"\n\nRemi Douence, Simplice Djoko Djoko, Pascal Fradet, and Didier Le Botlan. Towards a common aspect semantic base (casb). In Deliverable 54, AOSD-Europe, EU Network of Excellence in AOSD, August 2006.\n\n"},{"text":"\n\nEyal Dror and Shmuel Katz. The revised architecture of the cape. In Deliverable 42, AOSD-Europe, EU Network of Excellence in AOSD, August 2006.\n\n"},{"text":"\n\nHartmut Ehrig, R. Heckel, Martin Korff, M. Lowe, L. Ribeiro, A. Wagner, and Andrea Corradini. Algebraic approaches to graph transformation, part II: Single pushout approach and comparison with double pushout approach. In Rozenberg {23}.\n\n"},{"text":"\n\n\nMax Goldman , Shmuel Katz, MAVEN: modular aspect verification, Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems, March 24-April 01, 2007, Braga, Portugal \n\n","citation":"1763538"},{"text":"\n\nJan Hendrik Hausmann. Dynamic Meta Modelling: A Semantics Description Technique for Visual Modeling Languages. PhD thesis, University of Paderborn, 2006.\n\n"},{"text":"\n\n\nWilke Havinga , Istvan Nagy , Lodewijk Bergmans , Mehmet Aksit, A graph-based approach to modeling and detecting composition conflicts related to introductions, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada   [doi>10.1145/1218563.1218574]\n\n","citation":"1218574","doi":"http://doi.acm.org/10.1145/1218563.1218574"},{"text":"\n\n\nD. Janssens, Actor grammars and local actions, Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution, World Scientific Publishing Co., Inc., River Edge, NJ, 1999 \n\n","citation":"320650"},{"text":"\n\nRod Johnson, Juergen Hoeller, Alef Arendsen, Colin Sampaleanu, Rob Harrop, Thomas Risberg, Darren Davison, Dmitriy Kopylenko, Mark Pollack, Thierry Templier, Erwin Vervaet Portia Tung, Ben Hale, Adrian Colyer, John Lewis, Costin Leau, and Rick Evans. Aspect oriented programming with spring. In The Spring Framework -- Reference Documentation.\n\n"},{"text":"\n\n\nHarmen Kastenberg , Anneke Kleppe , Arend Rensink, Defining object-oriented execution semantics using graph transformations, Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, June 14-16, 2006, Bologna, Italy   [doi>10.1007/11768869_15]\n\n","citation":"2172125"},{"text":"\n\n\nHarmen Kastenberg , Anneke Kleppe , Arend Rensink, Defining object-oriented execution semantics using graph transformations, Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, June 14-16, 2006, Bologna, Italy   [doi>10.1007/11768869_15]\n\n","citation":"2172125"},{"text":"\n\n\nShmuel Katz, Aspect categories and classes of temporal properties, Transactions on Aspect-Oriented Software Development I, Springer-Verlag, Berlin, Heidelberg, 2006 \n\n","citation":"2168346"},{"text":"\n\nGünter Kniesel. Detection and resolution of weaving interactions. Transactions on Aspect-Oriented Programming, LNCS(submitted), 2007. Special issue on Aspect Dependencies and Interactions, edited by Ruzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink. Bert Lagaisse, Wouter Joosen, and Bart De Win. Managing semantic interference with aspect integration contracts. In Lodewijk Bergmans, Kris Gybels, Peri Tarr, and Erik Ernst, editors, SPLAT: Software engineering Properties of Languages for Aspect, March 2004.\n\n"},{"text":"\n\nIstvan Nagy, Lodewijk Bergmans, and Mehmet Aksit. Composing aspects at shared join points. In Andreas Polze Robert Hirschfeld, Ryszard Kowalczyk and Mathias Weske, editors, Proceedings of International Conference NetObjectDays (NODe), volume P-69 of Lecture Notes in Informatics, Erfurt, Germany, Sep 2005. Gesellschaft für Informatik (GI).\n\n"},{"text":"\n\n\nRenaud Pawlak , Laurence Duchien , Lionel Seinturier, CompAr: ensuring safe around advice composition, Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, June 15-17, 2005, Athens, Greece   [doi>10.1007/11494881_11]\n\n","citation":"2144760"},{"text":"\n\n\nD. Plump, Term graph rewriting, Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools, World Scientific Publishing Co., Inc., River Edge, NJ, 1999 \n\n","citation":"328528"},{"text":"\n\nArend Rensink. The GROOVE simulator: A tool for state space generation. In J. Pfalz, M. Nagl, and B. Bohlen, editors, Applications of Graph Transformations with Industrial Relevance (AGTIVE), volume 3062 of Lecture Notes in Computer Science, pages 479--485. Springer-Verlag, 2004.\n\n"},{"text":"\n\n\nMartin Rinard , Alexandru Salcianu , Suhabe Bugrara, A classification system and analysis for aspect-oriented programs, Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, October 31-November 06, 2004, Newport Beach, CA, USA   [doi>10.1145/1029894.1029917]\n\n","citation":"1029917","doi":"http://doi.acm.org/10.1145/1029894.1029917"},{"text":"\n\n\nGrzegorz Rozenberg, Handbook of graph grammars and computing by graph transformation: volume I. foundations, World Scientific Publishing Co., Inc., River Edge, NJ, 1997 \n\n","citation":"278918"},{"text":"\n\nMarcelo Sihman and Shmuel Katz. Superimpositions and aspect-oriented programming. The Computer Journal, 46(5):529--541, September 2003.\n\n"},{"text":"\n\n\nRuben Smelik , Arend Rensink , Harmen Kastenberg, Specification and Construction of Control Flow Semantics, Proceedings of the Visual Languages and Human-Centric Computing, p.65-72, September 04-08, 2006   [doi>10.1109/VLHCC.2006.45]\n\n","citation":"1174657"},{"text":"\n\nNiek Sombekke. Graph-based semantics of the .net intermediate language. In Master thesis. May 2003.\n\n"},{"text":"\n\n\nMaximilian Storzer , Florian Forster, Detecting Precedence-Related Advice Interference, Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering, p.317-322, September 18-22, 2006   [doi>10.1109/ASE.2006.32]\n\n","citation":"1169340"}]