publications: - title: "Formal validation of pattern matching code" author: - name: "Claude Kirchner" link: "http://www.loria.fr/~ckirchne/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Antoine Reilles" link: "https://researchr.org/alias/antoine-reilles" year: "2005" doi: "http://doi.acm.org/10.1145/1069774.1069792" links: doi: "http://doi.acm.org/10.1145/1069774.1069792" tags: - "pattern matching" researchr: "https://researchr.org/publication/KirchnerMR05" cites: 0 citedby: 0 pages: "187-197" booktitle: "Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal" editor: - name: "Pedro Barahona" link: "https://researchr.org/alias/pedro-barahona" - name: "Amy P. Felty" link: "https://researchr.org/alias/amy-p.-felty" publisher: "ACM" isbn: "1-59593-090-6" kind: "inproceedings" key: "KirchnerMR05" - title: "Rewriting Strategies in Java" author: - name: "Emilie Balland" link: "http://www.loria.fr/~balland/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Antoine Reilles" link: "https://researchr.org/alias/antoine-reilles" year: "2008" doi: "http://dx.doi.org/10.1016/j.entcs.2008.10.037" links: doi: "http://dx.doi.org/10.1016/j.entcs.2008.10.037" tags: - "Java" - "graph-rewriting" - "rewriting" - "rewriting strategies" researchr: "https://researchr.org/publication/BallandMR08" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "219" pages: "97-111" kind: "article" key: "BallandMR08" - title: "Rule-based Programming in Java For Protocol Verification" author: - name: "Horatiu Cirstea" link: "https://researchr.org/alias/horatiu-cirstea" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Antoine Reilles" link: "https://researchr.org/alias/antoine-reilles" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.022" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.022" tags: - "rule-based" - "Java" - "program verification" - "protocol" - "rules" - "programming" researchr: "https://researchr.org/publication/CirsteaMR05" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "117" pages: "209-227" kind: "article" key: "CirsteaMR05" - title: "Rewrite Based Specification of Access Control Policies" author: - name: "Horatiu Cirstea" link: "https://researchr.org/alias/horatiu-cirstea" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Anderson Santana de Oliveira" link: "http://andersonsantana.wordpress.com" year: "2009" doi: "http://dx.doi.org/10.1016/j.entcs.2009.02.071" links: doi: "http://dx.doi.org/10.1016/j.entcs.2009.02.071" tags: - "rule-based" - "graph-rewriting" - "access control policies" - "access control" - "rewriting" - "role-based access control" researchr: "https://researchr.org/publication/CirsteaMO09" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "234" pages: "37-54" kind: "article" key: "CirsteaMO09" - title: "An Integrated Development Environment for Pattern Matching Programming" author: - name: "Julien Guyon" link: "https://researchr.org/alias/julien-guyon" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Antoine Reilles" link: "https://researchr.org/alias/antoine-reilles" year: "2004" doi: "http://dx.doi.org/10.1016/j.entcs.2004.02.045" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.02.045" tags: - "meta programming" - "meta-model" - "model-driven development" - "pattern matching" - "programming" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/GuyonMR04" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "107" pages: "33-49" kind: "article" key: "GuyonMR04" - title: "Anti-pattern Matching" author: - name: "Claude Kirchner" link: "http://www.loria.fr/~ckirchne/" - name: "Radu Kopetz" link: "https://researchr.org/alias/radu-kopetz" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71316-6_9" links: doi: "http://dx.doi.org/10.1007/978-3-540-71316-6_9" tags: - "pattern matching" researchr: "https://researchr.org/publication/KirchnerKM07" cites: 0 citedby: 0 pages: "110-124" booktitle: "Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings" editor: - name: "Rocco De Nicola" link: "https://researchr.org/alias/rocco-de-nicola" volume: "4421" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71314-2" kind: "inproceedings" key: "KirchnerKM07" - title: "The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Christophe Ringeissen" link: "http://www.loria.fr/~ringeiss/" year: "2002" doi: "http://www.elsevier.com/gej-ng/31/29/23/117/52/show/Products/notes/index.htt#006" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/117/52/show/Products/notes/index.htt#006" tags: - "rule-based" - "SDF" - "graph-rewriting" - "logic" - "Meta-Environment" - "rewriting logic" - "rewriting" - "ASF+SDF" researchr: "https://researchr.org/publication/BrandMR02" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "65" number: "3" pages: "50-56" kind: "article" key: "BrandMR02" - title: "Optimizing Pattern Matching Compilation by Program Transformation" author: - name: "Emilie Balland" link: "http://www.loria.fr/~balland/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" year: "2006" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/33" links: doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/33" tags: - "optimization" - "pattern matching" - "program optimization" - "transformation" - "program transformation" researchr: "https://researchr.org/publication/BallandM06" cites: 0 citedby: 0 journal: "ECEASST" volume: "3" kind: "article" key: "BallandM06" - title: "Non-deterministic Computations in ELAN" author: - name: "Hélène Kirchner" link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" year: "1998" doi: "http://link.springer.de/link/service/series/0558/bibs/1589/15890168.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1589/15890168.htm" researchr: "https://researchr.org/publication/KirchnerM98%3A0" cites: 0 citedby: 0 pages: "168-182" booktitle: "Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT 98, Lisbon, Portugal, April 2-4, 1998, Selected Papers" editor: - name: "José Luiz Fiadeiro" link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro" volume: "1589" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66246-4" kind: "inproceedings" key: "KirchnerM98:0" - title: "Environments for Term Rewriting Engines for Free!" author: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060424.htm" abstract: "Term rewriting can only be applied if practical implementations of term rewriting engines exist. New rewriting engines are designed and implemented either to experiment with new (theoretical) results or to be able to tackle new application areas. In this paper we present the Meta-Environment: an environment for rapidly implementing the syntax and semantics of term rewriting based formalisms. We provide not only the basic building blocks, but complete interactive programming environments that only need to be instantiated by the details of a new formalism." links: doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060424.htm" tags: - "semantics" - "rule-based" - "completeness" - "meta programming" - "meta-model" - "ToolBus" - "term rewriting" - "cbse" - "graph-rewriting" - "programming" - "Meta-Environment" - "rewriting" - "IDE" - "meta-objects" researchr: "https://researchr.org/publication/BrandMV03" cites: 0 citedby: 0 pages: "424-435" booktitle: "Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings" editor: - name: "Robert Nieuwenhuis" link: "https://researchr.org/alias/robert-nieuwenhuis" volume: "2706" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-40254-3" kind: "inproceedings" key: "BrandMV03" - title: "The Second Rewrite Engines Competition" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Manuel Roldán" link: "https://researchr.org/alias/manuel-rold%C3%A1n" - name: "Emilie Balland" link: "http://www.loria.fr/~balland/" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Karl Trygve Kalleberg" link: "http://www.ii.uib.no/~karltk/" - name: "Lennart C. L. Kats" link: "http://www.lclnet.nl/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Ruslan Shevchenko" link: "https://researchr.org/alias/ruslan-shevchenko" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "2009" doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.025" abstract: "The 2nd Rewrite Engines Competition (REC) was celebrated as part of the 7th Workshop on Rewriting Logic and its Applications (WRLA 2008). In this edition of the competition participated ve systems, namely ASF+SDF, Maude, Stratego/XT, Termware, and Tom. We explain here how the competition was organized and conducted, and present its main results and conclusions." links: doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.025" tags: - "rewrite engine" - "SDF" - "term rewriting" - "graph-rewriting" - "C++" - "logic" - "rewriting logic" - "rewriting" - "rewriting strategies" - "ASF+SDF" - "Stratego" researchr: "https://researchr.org/publication/DuranRBBEKKMSV09" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "238" number: "3" pages: "281-291" kind: "article" key: "DuranRBBEKKMSV09" - title: "A Simple Generic Library for C" author: - name: "Marian Vittek" link: "https://researchr.org/alias/marian-vittek" - name: "Peter Borovanský" link: "https://researchr.org/alias/peter-borovansk%C3%BD" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" year: "2006" doi: "http://dx.doi.org/10.1007/11763864_38" links: doi: "http://dx.doi.org/10.1007/11763864_38" tags: - "C++" researchr: "https://researchr.org/publication/VittekBM06" cites: 0 citedby: 0 pages: "423-426" booktitle: "Reuse of Off-the-Shelf Components, 9th International Conference on Software Reuse, ICSR 2006, Turin, Italy, June 12-15, 2006, Proceedings" editor: - name: "Maurizio Morisio" link: "https://researchr.org/alias/maurizio-morisio" volume: "4039" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-34606-6" kind: "inproceedings" key: "VittekBM06" - title: "Towards an Efficient Implementation of Tree Automata Completion" author: - name: "Emilie Balland" link: "http://www.loria.fr/~balland/" - name: "Yohan Boichut" link: "https://researchr.org/alias/yohan-boichut" - name: "Thomas Genet" link: "https://researchr.org/alias/thomas-genet" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-79980-1_6" links: doi: "http://dx.doi.org/10.1007/978-3-540-79980-1_6" researchr: "https://researchr.org/publication/BallandBGM08" cites: 0 citedby: 0 pages: "67-82" booktitle: "Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings" editor: - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" volume: "5140" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-79979-5" kind: "inproceedings" key: "BallandBGM08" - title: "Editorial" author: - name: "Olivier Danvy" link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/" - name: "Andrzej Filinski" link: "https://researchr.org/alias/andrzej-filinski" - name: "Jean-Louis Giavitto" link: "https://researchr.org/alias/jean-louis-giavitto" - name: "Andy King" link: "https://researchr.org/alias/andy-king" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2006" doi: "http://dx.doi.org/10.1007/s10990-006-0478-0" links: doi: "http://dx.doi.org/10.1007/s10990-006-0478-0" researchr: "https://researchr.org/publication/DanvyFGKMT06" cites: 0 citedby: 0 journal: "Higher-Order and Symbolic Computation" volume: "19" number: "4" pages: "343-344" kind: "article" key: "DanvyFGKMT06" - title: "Software Quality Improvement Via Pattern Matching" author: - name: "Radu Kopetz" link: "https://researchr.org/alias/radu-kopetz" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_22" links: doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_22" tags: - "pattern matching" researchr: "https://researchr.org/publication/KopetzM08" cites: 0 citedby: 0 pages: "296-300" booktitle: "Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings" editor: - name: "José Luiz Fiadeiro" link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro" - name: "Paola Inverardi" link: "https://researchr.org/alias/paola-inverardi" volume: "4961" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-78742-6" kind: "inproceedings" key: "KopetzM08" - title: "Formal Islands" author: - name: "Emilie Balland" link: "http://www.loria.fr/~balland/" - name: "Claude Kirchner" link: "http://www.loria.fr/~ckirchne/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" year: "2006" doi: "http://dx.doi.org/10.1007/11784180_7" links: doi: "http://dx.doi.org/10.1007/11784180_7" researchr: "https://researchr.org/publication/BallandKM06" cites: 0 citedby: 0 pages: "51-65" booktitle: "Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings" editor: - name: "Michael Johnson" link: "https://researchr.org/alias/michael-johnson" - name: "Varmo Vene" link: "https://researchr.org/alias/varmo-vene" volume: "4019" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-35633-9" kind: "inproceedings" key: "BallandKM06" - title: "The Third Rewrite Engines Competition" author: - name: "Francisco Durán" link: "http://www.lcc.uma.es/~duran/" - name: "Manuel Roldán" link: "https://researchr.org/alias/manuel-rold%C3%A1n" - name: "Jean-Christophe Bach" link: "http://www.loria.fr/~bachjeje" - name: "Emilie Balland" link: "http://www.loria.fr/~balland/" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "James R. Cordy" link: "http://research.cs.queensu.ca/~cordy/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Luc Engelen" link: "https://researchr.org/alias/luc-engelen" - name: "Maartje de Jonge" link: "https://researchr.org/profile/maartjedejonge/publications" - name: "Karl Trygve Kalleberg" link: "http://www.ii.uib.no/~karltk/" - name: "Lennart C. L. Kats" link: "http://www.lclnet.nl/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_16" abstract: "This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on Rewriting Logic and its Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT, Tom, and TXL participated in it." links: doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_16" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/DuranRBBBCEEJK10" tags: - "graph-rewriting" - "C++" - "rewriting" researchr: "https://researchr.org/publication/DuranRBBBCEEJK10" cites: 0 citedby: 0 pages: "243-261" booktitle: "Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers" editor: - name: "Peter Csaba Ölveczky" link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky" volume: "6381" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-16309-8" kind: "inproceedings" key: "DuranRBBBCEEJK10" - title: "GC:::2:::: a generational conservative garbage collector for the ATImage library" author: - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Olivier Zendra" link: "https://researchr.org/alias/olivier-zendra" year: "2004" doi: "http://dx.doi.org/10.1016/j.jlap.2003.12.003" links: doi: "http://dx.doi.org/10.1016/j.jlap.2003.12.003" researchr: "https://researchr.org/publication/MoreauZ04" cites: 0 citedby: 0 journal: "Journal of Logic and Algebraic Programming" volume: "59" number: "1-2" pages: "5-34" kind: "article" key: "MoreauZ04" - title: "Formal Validation of Pattern Matching code" author: - name: "Claude Kirchner" link: "http://www.loria.fr/~ckirchne/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Antoine Reilles" link: "https://researchr.org/alias/antoine-reilles" year: "2006" doi: "http://drops.dagstuhl.de/opus/volltexte/2006/697" links: doi: "http://drops.dagstuhl.de/opus/volltexte/2006/697" tags: - "pattern matching" researchr: "https://researchr.org/publication/KirchnerMR06" cites: 0 citedby: 0 booktitle: "Workshop Trustworthy Software 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany" editor: - name: "Serge Autexier" link: "https://researchr.org/alias/serge-autexier" - name: "Stephan Merz" link: "https://researchr.org/alias/stephan-merz" - name: "Leendert W. N. van der Torre" link: "https://researchr.org/alias/leendert-w.-n.-van-der-torre" - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" - name: "Pierre Wolper" link: "https://researchr.org/alias/pierre-wolper" volume: "06000" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "inproceedings" key: "KirchnerMR06" - title: "Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories" author: - name: "Hélène Kirchner" link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" year: "2001" tags: - "programming languages" - "graph-rewriting" - "compiler" - "programming" - "rewriting" researchr: "https://researchr.org/publication/KirchnerM01%3A0" cites: 0 citedby: 0 journal: "Journal of Functional Programming" volume: "11" number: "2" pages: "207-251" kind: "article" key: "KirchnerM01:0" - title: "A Pattern Matching Compiler for Multiple Target Languages" author: - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Christophe Ringeissen" link: "http://www.loria.fr/~ringeiss/" - name: "Marian Vittek" link: "https://researchr.org/alias/marian-vittek" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2622/26220061.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2622/26220061.htm" tags: - "pattern language" - "pattern matching" - "compiler" researchr: "https://researchr.org/publication/MoreauRV03" cites: 0 citedby: 0 pages: "61-76" booktitle: "Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings" editor: - name: "Görel Hedin" link: "http://cs.lth.se/gorel_hedin" volume: "2622" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00904-3" kind: "inproceedings" key: "MoreauRV03" - title: "Rules and Strategies in Java" author: - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Antoine Reilles" link: "https://researchr.org/alias/antoine-reilles" year: "2008" doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.054" links: doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.054" tags: - "rule-based" - "Java" - "rules" researchr: "https://researchr.org/publication/MoreauR08" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "204" pages: "71-82" kind: "article" key: "MoreauR08" - title: "REM (Reduce Elan Machine): Core of the New ELAN Compiler" author: - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" year: "2000" tags: - "compiler" researchr: "https://researchr.org/publication/Moreau00" cites: 0 citedby: 0 pages: "265-269" booktitle: "Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings" editor: - name: "Leo Bachmair" link: "https://researchr.org/alias/leo-bachmair" volume: "1833" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67778-X" kind: "inproceedings" key: "Moreau00" - title: "ELAN: A logical framework based on computational systems" author: - name: "Peter Borovanský" link: "https://researchr.org/alias/peter-borovansk%C3%BD" - name: "Claude Kirchner" link: "http://www.loria.fr/~ckirchne/" - name: "Hélène Kirchner" link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Marian Vittek" link: "https://researchr.org/alias/marian-vittek" year: "1996" doi: "http://www.elsevier.com/gej-ng/31/29/23/29/23/show/Products/notes/index.htt#004" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/29/23/show/Products/notes/index.htt#004" tags: - "rule-based" researchr: "https://researchr.org/publication/BorovanskyKKMV96" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "4" pages: "35-50" kind: "article" key: "BorovanskyKKMV96" - title: "Anti-pattern Matching Modulo" author: - name: "Claude Kirchner" link: "http://www.loria.fr/~ckirchne/" - name: "Radu Kopetz" link: "https://researchr.org/alias/radu-kopetz" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-88282-4_26" links: doi: "http://dx.doi.org/10.1007/978-3-540-88282-4_26" tags: - "pattern matching" researchr: "https://researchr.org/publication/KirchnerKM08" cites: 0 citedby: 0 pages: "275-286" booktitle: "Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers" editor: - name: "Carlos Martín-Vide" link: "https://researchr.org/alias/carlos-mart%C3%ADn-vide" - name: "Friedrich Otto" link: "https://researchr.org/alias/friedrich-otto" - name: "Henning Fernau" link: "https://researchr.org/alias/henning-fernau" volume: "5196" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-88281-7" kind: "inproceedings" key: "KirchnerKM08" - title: "A Generator of efficient strongly typed abstract syntax trees in Java" author: - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2005" month: "apr" doi: "10.1049/ip-sen:20041181" abstract: "Abstract syntax trees are a very common data-structure in language related tools. For example compilers, interpreters, documentation generators, and syntax-directed editors use them extensively to extract, transform, store and pro- duce information that is key to their functionality. We present a Java back-end for ApiGen, a tool that generates implementations of abstract syntax trees. The generated code is characterized by strong typing combined with a generic interface and maximal sub-term sharing for memory efficiency and fast equality checking. The goal of this tool is to obtain safe and more efficient programming interfaces for abstract syntax trees. The contribution of this work is the combination of generating a strongly typed data-structure with maximal sub-term sharing in Java. Practical experience shows that this approach is beneficial for extremely large as well as smaller data types." tags: - "programming languages" - "Java" - "data-flow language" - "generic programming" - "SDF" - "interpreter" - "abstract syntax" - "functional programming" - "data-flow programming" - "data-flow" - "code generation" - "type checking" - "compiler" - "abstract syntax trees" - "programming" - "systematic-approach" - "ASF+SDF" - "maximal sharing" researchr: "https://researchr.org/publication/apigenjava" cites: 0 citedby: 0 journal: "IEE Proceedings Software" volume: "152" number: "2" kind: "article" key: "apigenjava" - title: "An overview of ELAN" author: - name: "Peter Borovanský" link: "https://researchr.org/alias/peter-borovansk%C3%BD" - name: "Claude Kirchner" link: "http://www.loria.fr/~ckirchne/" - name: "Hélène Kirchner" link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Christophe Ringeissen" link: "http://www.loria.fr/~ringeiss/" year: "1998" doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#022" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/39/23/show/Products/notes/index.htt#022" researchr: "https://researchr.org/publication/BorovanskyKKMR98" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "15" pages: "55-70" kind: "article" key: "BorovanskyKKMR98" - title: "A Compiler for Rewrite Programs in Associative-Commutative Theories" author: - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Hélène Kirchner" link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner" year: "1998" doi: "http://link.springer.de/link/service/series/0558/bibs/1490/14900230.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1490/14900230.htm" tags: - "graph-rewriting" - "compiler" - "rewriting" researchr: "https://researchr.org/publication/MoreauK98" cites: 0 citedby: 0 pages: "230-249" booktitle: "Principles of Declarative Programming, 10th International Symposium, PLILP 98 Held Jointly with the 7th International Conference, ALP 98, Pisa, Italy, September 16-18, 1998, Proceedings" editor: - name: "Catuscia Palamidessi" link: "https://researchr.org/alias/catuscia-palamidessi" - name: "Hugh Glaser" link: "https://researchr.org/alias/hugh-glaser" - name: "Karl Meinke" link: "https://researchr.org/alias/karl-meinke" volume: "1490" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-65012-1" kind: "inproceedings" key: "MoreauK98" - title: "ELAN from a rewriting logic point of view" author: - name: "Peter Borovanský" link: "https://researchr.org/alias/peter-borovansk%C3%BD" - name: "Claude Kirchner" link: "http://www.loria.fr/~ckirchne/" - name: "Hélène Kirchner" link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" year: "2002" doi: "http://dx.doi.org/10.1016/S0304-3975(01)00358-9" links: doi: "http://dx.doi.org/10.1016/S0304-3975(01)00358-9" tags: - "graph-rewriting" - "logic" - "rewriting logic" - "rewriting" researchr: "https://researchr.org/publication/BorovanskyKKM02" cites: 1 citedby: 0 journal: "Theoretical Computer Science" volume: "285" number: "2" pages: "155-185" kind: "article" key: "BorovanskyKKM02" - title: "A Choice-Point Library for Backtrack Programming" author: - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" year: "1998" tags: - "programming" researchr: "https://researchr.org/publication/Moreau98" cites: 0 citedby: 0 pages: "16-31" booktitle: "Implementation Technology for Programming Languages based on Logic" kind: "inproceedings" key: "Moreau98" - title: "Pattern-Matching Compiler" author: - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" - name: "Christophe Ringeissen" link: "https://researchr.org/alias/christophe-ringeissen" - name: "Marian Vittek" link: "https://researchr.org/alias/marian-vittek" year: "2001" doi: "http://www.elsevier.com/gej-ng/31/29/23/73/27/show/Products/notes/index.htt#012" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/73/27/show/Products/notes/index.htt#012" tags: - "pattern matching" - "compiler" researchr: "https://researchr.org/publication/MoreauRV01" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "44" number: "2" pages: "161-180" kind: "article" key: "MoreauRV01" - title: "A collection of C, C++ and Java code understanding and refactoring plugins" author: - name: "Marian Vittek" link: "https://researchr.org/alias/marian-vittek" - name: "Peter Borovanský" link: "https://researchr.org/alias/peter-borovansk%C3%BD" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" year: "2005" tags: - "Java" - "refactoring" - "C++" researchr: "https://researchr.org/publication/VittekBM05" cites: 0 citedby: 0 pages: "61-64" booktitle: "Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary" isbn: "9-6346-0980-5" kind: "inproceedings" key: "VittekBM05" - title: "A reflective extension of ELAN" author: - name: "Hélène Kirchner" link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" year: "1996" doi: "http://www.elsevier.com/gej-ng/31/29/23/29/23/show/Products/notes/index.htt#010" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/29/23/show/Products/notes/index.htt#010" researchr: "https://researchr.org/publication/KirchnerM96" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "4" pages: "149-168" kind: "article" key: "KirchnerM96" - title: "Proceedings of the tenth workshop on Language Descriptions Tools and Applications" year: "2010" researchr: "https://researchr.org/publication/ldta%3A2010" cites: 0 citedby: 0 booktitle: "Proceedings of the tenth workshop on Language Descriptions Tools and Applications" conference: "LDTA" editor: - name: "Claus Brabrand" link: "http://www.itu.dk/people/brabrand/" - name: "Pierre-Etienne Moreau" link: "http://www.loria.fr/~moreau/dokuwiki/doku.php" kind: "proceedings" key: "ldta:2010"