default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pierre-Etienne Moreau
@inproceedings{DBLP:conf/synasc/CirsteaLM23,
author = {Horatiu Cirstea and
Pierre Lermusiaux and
Pierre{-}Etienne Moreau},
title = {Generic Encodings and Static Analysis of Constructor Rewriting Systems},
booktitle = {25th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2023, Nancy, France, September 11-14,
2023},
pages = {1--4},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SYNASC61333.2023.00056},
doi = {10.1109/SYNASC61333.2023.00056},
timestamp = {Sat, 18 May 2024 23:55:23 +0200},
biburl = {https://dblp.org/rec/conf/synasc/CirsteaLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CirsteaLM21,
author = {Horatiu Cirstea and
Pierre Lermusiaux and
Pierre{-}Etienne Moreau},
editor = {Niccol{\`{o}} Veltri and
Nick Benton and
Silvia Ghilezan},
title = {Static analysis of pattern-free properties},
booktitle = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
pages = {9:1--9:13},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3479394.3479404},
doi = {10.1145/3479394.3479404},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/CirsteaLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CirsteaLM20,
author = {Horatiu Cirstea and
Pierre Lermusiaux and
Pierre{-}Etienne Moreau},
editor = {Maribel Fern{\'{a}}ndez},
title = {Pattern Eliminating Transformations},
booktitle = {Logic-Based Program Synthesis and Transformation - 30th International
Symposium, {LOPSTR} 2020, Bologna, Italy, September 7-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12561},
pages = {74--92},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-68446-4\_4},
doi = {10.1007/978-3-030-68446-4\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/CirsteaLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ViardCM19,
author = {Louis Viard and
Laurent Ciarletta and
Pierre{-}Etienne Moreau},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {A Mission Definition, Verification and Validation Architecture},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12232},
pages = {281--287},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54994-7\_20},
doi = {10.1007/978-3-030-54994-7\_20},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/ViardCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CirsteaM19,
author = {Horatiu Cirstea and
Pierre{-}Etienne Moreau},
editor = {Ekaterina Komendantskaya},
title = {Generic Encodings of Constructor Rewriting Systems},
booktitle = {Proceedings of the 21st International Symposium on Principles and
Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
7-9, 2019},
pages = {8:1--8:12},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3354166.3354173},
doi = {10.1145/3354166.3354173},
timestamp = {Thu, 26 Sep 2019 14:21:31 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/CirsteaM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-06233,
author = {Horatiu Cirstea and
Pierre{-}Etienne Moreau},
title = {Generic Encodings of Constructor Rewriting Systems},
journal = {CoRR},
volume = {abs/1905.06233},
year = {2019},
url = {http://arxiv.org/abs/1905.06233},
eprinttype = {arXiv},
eprint = {1905.06233},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-06233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CirsteaLM17,
author = {Horatiu Cirstea and
Sergue{\"{\i}} Lenglet and
Pierre{-}Etienne Moreau},
title = {Faithful (meta-)encodings of programmable strategies into term rewriting
systems},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:16)2017},
doi = {10.23638/LMCS-13(4:16)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CirsteaLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CirsteaLM17,
author = {Horatiu Cirstea and
Sergue{\"{\i}} Lenglet and
Pierre{-}Etienne Moreau},
title = {Faithful (meta-)encodings of programmable strategies into term rewriting
systems},
journal = {CoRR},
volume = {abs/1705.08632},
year = {2017},
url = {http://arxiv.org/abs/1705.08632},
eprinttype = {arXiv},
eprint = {1705.08632},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CirsteaLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/ColletBDM15,
author = {Philippe Collet and
Lydie du Bousquet and
Laurence Duchien and
Pierre{-}Etienne Moreau},
title = {Chronique - D{\'{e}}fis 2015},
journal = {Tech. Sci. Informatiques},
volume = {34},
number = {3},
pages = {311--324},
year = {2015},
url = {http://tsi.revuesonline.com/article.jsp?articleId=21482},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/ColletBDM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CirsteaLM15,
author = {Horatiu Cirstea and
Sergue{\"{\i}} Lenglet and
Pierre{-}Etienne Moreau},
editor = {Maribel Fern{\'{a}}ndez},
title = {A faithful encoding of programmable strategies into term rewriting
systems},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {74--88},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.74},
doi = {10.4230/LIPICS.RTA.2015.74},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/CirsteaLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BallandMR14,
author = {Emilie Balland and
Pierre{-}Etienne Moreau and
Antoine Reilles},
title = {Effective strategic programming for Java developers},
journal = {Softw. Pract. Exp.},
volume = {44},
number = {2},
pages = {129--162},
year = {2014},
url = {https://doi.org/10.1002/spe.2159},
doi = {10.1002/SPE.2159},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BallandMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ldta/BachCMP12,
author = {Jean{-}Christophe Bach and
Xavier Cr{\'{e}}gut and
Pierre{-}Etienne Moreau and
Marc Pantel},
editor = {Anthony Sloane and
Suzana Andova},
title = {Model transformations with Tom},
booktitle = {International Workshop on Language Descriptions, Tools, and Applications,
{LDTA} '12, Tallinn, Estonia, March 31 - April 1, 2012},
pages = {4},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2427048.2427052},
doi = {10.1145/2427048.2427052},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ldta/BachCMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/AfroozehBBJMMS12,
author = {Ali Afroozeh and
Jean{-}Christophe Bach and
Mark van den Brand and
Adrian Johnstone and
Maarten Manders and
Pierre{-}Etienne Moreau and
Elizabeth Scott},
editor = {Krzysztof Czarnecki and
G{\"{o}}rel Hedin},
title = {Island Grammar-Based Parsing Using {GLL} and Tom},
booktitle = {Software Language Engineering, 5th International Conference, {SLE}
2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7745},
pages = {224--243},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36089-3\_13},
doi = {10.1007/978-3-642-36089-3\_13},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/sle/AfroozehBBJMMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CirsteaKKM10,
author = {Horatiu Cirstea and
Claude Kirchner and
Radu Kopetz and
Pierre{-}Etienne Moreau},
title = {Anti-patterns for rule-based languages},
journal = {J. Symb. Comput.},
volume = {45},
number = {5},
pages = {523--550},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.01.007},
doi = {10.1016/J.JSC.2010.01.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/CirsteaKKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ldta/BrabrandM10,
author = {Claus Brabrand and
Pierre{-}Etienne Moreau},
editor = {Claus Brabrand and
Pierre{-}Etienne Moreau},
title = {Preface},
booktitle = {Proceedings of the of the Tenth Workshop on Language Descriptions,
Tools and Applications, {LDTA} 2010, Paphos, Cyprus, March 28-29,
2010 - satellite event of {ETAPS}},
publisher = {{ACM}},
year = {2010},
timestamp = {Wed, 01 Dec 2010 21:26:53 +0100},
biburl = {https://dblp.org/rec/conf/ldta/BrabrandM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DuranRBBBCEEJK10,
author = {Francisco Dur{\'{a}}n and
Manuel Rold{\'{a}}n and
Jean{-}Christophe Bach and
Emilie Balland and
Mark van den Brand and
James R. Cordy and
Steven Eker and
Luc Engelen and
Maartje de Jonge and
Karl Trygve Kalleberg and
Lennart C. L. Kats and
Pierre{-}Etienne Moreau and
Eelco Visser},
editor = {Peter Csaba {\"{O}}lveczky},
title = {The Third Rewrite Engines Competition},
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},
series = {Lecture Notes in Computer Science},
volume = {6381},
pages = {243--261},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16310-4\_16},
doi = {10.1007/978-3-642-16310-4\_16},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/DuranRBBBCEEJK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ldta/2010,
editor = {Claus Brabrand and
Pierre{-}Etienne Moreau},
title = {Proceedings of the of the Tenth Workshop on Language Descriptions,
Tools and Applications, {LDTA} 2010, Paphos, Cyprus, March 28-29,
2010 - satellite event of {ETAPS}},
publisher = {{ACM}},
year = {2010},
isbn = {978-1-4503-0063-6},
timestamp = {Wed, 01 Dec 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ldta/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CirsteaMR09,
author = {Horatiu Cirstea and
Pierre{-}Etienne Moreau and
Antoine Reilles},
editor = {Guido Governatori and
John Hall and
Adrian Paschke},
title = {TomML: {A} Rule Language for Structured Data},
booktitle = {Rule Interchange and Applications, International Symposium, RuleML
2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5858},
pages = {262--271},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04985-9\_24},
doi = {10.1007/978-3-642-04985-9\_24},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/CirsteaMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-4799,
author = {Claude Kirchner and
Pierre{-}Etienne Moreau and
Cl{\'{a}}udia Tavares},
editor = {Ian Mackie and
Anamaria Martins Moreira},
title = {A Type System for Tom},
booktitle = {Proceedings Tenth International Workshop on Rule-Based Programming,
{RULE} 2009, Bras{\'{\i}}lia, Brazil, 28th June 2009},
series = {{EPTCS}},
volume = {21},
pages = {51--63},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.21.5},
doi = {10.4204/EPTCS.21.5},
timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-4799.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Moreau08,
author = {Pierre{-}Etienne Moreau},
title = {Programmation et confiance. (Programming and Confidence)},
year = {2008},
url = {https://tel.archives-ouvertes.fr/tel-00337408},
timestamp = {Thu, 28 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Moreau08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BallandBGM08,
author = {Emilie Balland and
Yohan Boichut and
Thomas Genet and
Pierre{-}Etienne Moreau},
editor = {Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {Towards an Efficient Implementation of Tree Automata Completion},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {67--82},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_6},
doi = {10.1007/978-3-540-79980-1\_6},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/amast/BallandBGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/KopetzM08,
author = {Radu Kopetz and
Pierre{-}Etienne Moreau},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {Software Quality Improvement Via Pattern Matching},
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},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {296--300},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_22},
doi = {10.1007/978-3-540-78743-3\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/KopetzM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/KirchnerKM08,
author = {Claude Kirchner and
Radu Kopetz and
Pierre{-}Etienne Moreau},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Friedrich Otto and
Henning Fernau},
title = {Anti-pattern Matching Modulo},
booktitle = {Language and Automata Theory and Applications, Second International
Conference, {LATA} 2008, Tarragona, Spain, March 13-19, 2008. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {5196},
pages = {275--286},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88282-4\_26},
doi = {10.1007/978-3-540-88282-4\_26},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lata/KirchnerKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BallandM08,
author = {Emilie Balland and
Pierre{-}Etienne Moreau},
editor = {Andrei Voronkov},
title = {Term-Graph Rewriting Via Explicit Paths},
booktitle = {Rewriting Techniques and Applications, 19th International Conference,
{RTA} 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5117},
pages = {32--47},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70590-1\_3},
doi = {10.1007/978-3-540-70590-1\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/BallandM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CirsteaMO09,
author = {Horatiu Cirstea and
Pierre{-}Etienne Moreau and
Anderson Santana de Oliveira},
editor = {Daniel J. Dougherty and
Santiago Escobar},
title = {Rewrite Based Specification of Access Control Policies},
booktitle = {Proceedings of the Third International Workshop on Security and Rewriting
Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {234},
pages = {37--54},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.02.071},
doi = {10.1016/J.ENTCS.2009.02.071},
timestamp = {Thu, 09 Mar 2023 12:59:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CirsteaMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranRBBEKKMSV09,
author = {Francisco Dur{\'{a}}n and
Manuel Rold{\'{a}}n and
Emilie Balland and
Mark van den Brand and
Steven Eker and
Karl Trygve Kalleberg and
Lennart C. L. Kats and
Pierre{-}Etienne Moreau and
Ruslan Schevchenko and
Eelco Visser},
editor = {Grigore Rosu},
title = {The Second Rewrite Engines Competition},
booktitle = {Proceedings of the Seventh International Workshop on Rewriting Logic
and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {3},
pages = {281--291},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.025},
doi = {10.1016/J.ENTCS.2009.05.025},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DuranRBBEKKMSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KirchnerKM07,
author = {Claude Kirchner and
Radu Kopetz and
Pierre{-}Etienne Moreau},
editor = {Rocco De Nicola},
title = {Anti-pattern Matching},
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},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {110--124},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_9},
doi = {10.1007/978-3-540-71316-6\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/KirchnerKM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BallandBKMR07,
author = {Emilie Balland and
Paul Brauner and
Radu Kopetz and
Pierre{-}Etienne Moreau and
Antoine Reilles},
editor = {Franz Baader},
title = {Tom: Piggybacking Rewriting on Java},
booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA}
2007, Paris, France, June 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4533},
pages = {36--47},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73449-9\_5},
doi = {10.1007/978-3-540-73449-9\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/BallandBKMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BallandMR07,
author = {Emilie Balland and
Pierre{-}Etienne Moreau and
Antoine Reilles},
editor = {Marieke Huisman and
Fausto Spoto},
title = {Bytecode Rewriting in Tom},
booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {1},
pages = {19--33},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.058},
doi = {10.1016/J.ENTCS.2007.02.058},
timestamp = {Tue, 31 Jan 2023 15:42:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BallandMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MoreauR08,
author = {Pierre{-}Etienne Moreau and
Antoine Reilles},
editor = {J{\"{u}}rgen Giesl},
title = {Rules and Strategies in Java},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {71--82},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.054},
doi = {10.1016/J.ENTCS.2008.03.054},
timestamp = {Mon, 13 Feb 2023 13:51:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MoreauR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BallandMR08,
author = {Emilie Balland and
Pierre{-}Etienne Moreau and
Antoine Reilles},
editor = {Joost Visser and
Victor Winter},
title = {Rewriting Strategies in Java},
booktitle = {Proceedings of the Eighth International Workshop on Rule Based Programming,
RULE@RDP 2007, Paris, France, June 29, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {219},
pages = {97--111},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.037},
doi = {10.1016/J.ENTCS.2008.10.037},
timestamp = {Fri, 17 Feb 2023 10:42:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BallandMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BallandM06,
author = {Emilie Balland and
Pierre{-}Etienne Moreau},
title = {Optimizing Pattern Matching Compilation by Program Transformation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {3},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.3.33},
doi = {10.14279/TUJ.ECEASST.3.33},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BallandM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyFGKMT06,
author = {Olivier Danvy and
Andrzej Filinski and
Jean{-}Louis Giavitto and
Andy King and
Pierre{-}Etienne Moreau and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {19},
number = {4},
pages = {343--344},
year = {2006},
url = {https://doi.org/10.1007/s10990-006-0478-0},
doi = {10.1007/S10990-006-0478-0},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/DanvyFGKMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BallandKM06,
author = {Emilie Balland and
Claude Kirchner and
Pierre{-}Etienne Moreau},
editor = {Michael Johnson and
Varmo Vene},
title = {Formal Islands},
booktitle = {Algebraic Methodology and Software Technology, 11th International
Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4019},
pages = {51--65},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11784180\_7},
doi = {10.1007/11784180\_7},
timestamp = {Sun, 25 Oct 2020 23:16:26 +0100},
biburl = {https://dblp.org/rec/conf/amast/BallandKM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KirchnerMR06,
author = {Claude Kirchner and
Pierre{-}Etienne Moreau and
Antoine Reilles},
editor = {Serge Autexier and
Stephan Merz and
Leendert W. N. van der Torre and
Reinhard Wilhelm and
Pierre Wolper},
title = {Formal Validation of Pattern Matching code},
booktitle = {Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University,
Saarbr{\"{u}}cken, Germany},
series = {OASIcs},
volume = {3},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/697},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KirchnerMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/VittekBM06,
author = {Marian Vittek and
Peter Borovansk{\'{y}} and
Pierre{-}Etienne Moreau},
editor = {Maurizio Morisio},
title = {A Simple Generic Library for {C}},
booktitle = {Reuse of Off-the-Shelf Components, 9th International Conference on
Software Reuse, {ICSR} 2006, Turin, Italy, June 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4039},
pages = {423--426},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11763864\_38},
doi = {10.1007/11763864\_38},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/icsr/VittekBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/VittekBM06,
author = {Marian Vittek and
Peter Borovansk{\'{y}} and
Pierre{-}Etienne Moreau},
editor = {Krzysztof Sacha},
title = {A {C++} Refactoring Browser and Method Extraction},
booktitle = {Software Engineering Techniques: Design for Quality, {SET} 2006, October
17-20, 2006, Warsaw, Poland},
series = {{IFIP}},
volume = {227},
pages = {325--336},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-39388-9\_31},
doi = {10.1007/978-0-387-39388-9\_31},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip2/VittekBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BrandMV05,
author = {Mark van den Brand and
Pierre{-}Etienne Moreau and
Jurgen J. Vinju},
title = {Generator of efficient strongly typed abstract syntax trees in Java},
journal = {{IEE} Proc. Softw.},
volume = {152},
number = {2},
pages = {70--78},
year = {2005},
url = {https://doi.org/10.1049/ip-sen:20041181},
doi = {10.1049/IP-SEN:20041181},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/BrandMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/VittekBM05,
author = {Marian Vittek and
Peter Borovansk{\'{y}} and
Pierre{-}Etienne Moreau},
title = {A collection of C, {C++} and Java code understanding and refactoring
plugins},
booktitle = {Proceedings of the 21st {IEEE} International Conference on Software
Maintenance - Industrial and Tool volume, {ICSM} 2005, 25-30 September
2005, Budapest, Hungary},
pages = {61--64},
year = {2005},
timestamp = {Thu, 12 Jan 2006 15:32:56 +0100},
biburl = {https://dblp.org/rec/conf/icsm/VittekBM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/KirchnerMR05,
author = {Claude Kirchner and
Pierre{-}Etienne Moreau and
Antoine Reilles},
editor = {Pedro Barahona and
Amy P. Felty},
title = {Formal validation of pattern matching code},
booktitle = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 11-13 2005,
Lisbon, Portugal},
pages = {187--197},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1069774.1069792},
doi = {10.1145/1069774.1069792},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/KirchnerMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MoreauZ04,
author = {Pierre{-}Etienne Moreau and
Olivier Zendra},
title = {GC\({}^{\mbox{2}}\): a generational conservative garbage collector
for the ATImage library},
journal = {J. Log. Algebraic Methods Program.},
volume = {59},
number = {1-2},
pages = {5--34},
year = {2004},
url = {https://doi.org/10.1016/j.jlap.2003.12.003},
doi = {10.1016/J.JLAP.2003.12.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MoreauZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuyonMR04,
author = {Julien Guyon and
Pierre{-}Etienne Moreau and
Antoine Reilles},
editor = {Brian M. Barry and
Oege de Moor},
title = {An Integrated Development Environment for Pattern Matching Programming},
booktitle = {Proceedings of the Second Eclipse Technology Exchange: eTX and the
Eclipse Phenomenon, eTX 2004, Barcelona, Spain, March 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {107},
pages = {33--49},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.045},
doi = {10.1016/J.ENTCS.2004.02.045},
timestamp = {Fri, 09 Dec 2022 12:32:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuyonMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CirsteaMR05,
author = {Horatiu Cirstea and
Pierre{-}Etienne Moreau and
Antoine Reilles},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Rule-based Programming in Java For Protocol Verification},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {209--227},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.022},
doi = {10.1016/J.ENTCS.2004.06.022},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CirsteaMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/MoreauRV03,
author = {Pierre{-}Etienne Moreau and
Christophe Ringeissen and
Marian Vittek},
editor = {G{\"{o}}rel Hedin},
title = {A Pattern Matching Compiler for Multiple Target Languages},
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},
series = {Lecture Notes in Computer Science},
volume = {2622},
pages = {61--76},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36579-6\_5},
doi = {10.1007/3-540-36579-6\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/MoreauRV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BrandMV03,
author = {Mark van den Brand and
Pierre{-}Etienne Moreau and
Jurgen J. Vinju},
editor = {Robert Nieuwenhuis},
title = {Environments for Term Rewriting Engines for Free!},
booktitle = {Rewriting Techniques and Applications, 14th International Conference,
{RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2706},
pages = {424--435},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44881-0\_30},
doi = {10.1007/3-540-44881-0\_30},
timestamp = {Sun, 02 Oct 2022 16:14:20 +0200},
biburl = {https://dblp.org/rec/conf/rta/BrandMV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GiavittoM03,
author = {Jean{-}Louis Giavitto and
Pierre{-}Etienne Moreau},
editor = {Jean{-}Louis Giavitto and
Pierre{-}Etienne Moreau},
title = {Preface},
booktitle = {4th International Workshop on Rule-Based Programming, {RULE} 2003,
in connection with {RDP} 2003, Federated Conference on Rewriting,
Deduction and Programming, Valencia, Spain, June 12-13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {2},
pages = {153--154},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80681-4},
doi = {10.1016/S1571-0661(05)80681-4},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GiavittoM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rule/2003,
editor = {Jean{-}Louis Giavitto and
Pierre{-}Etienne Moreau},
title = {4th International Workshop on Rule-Based Programming, {RULE} 2003,
in connection with {RDP} 2003, Federated Conference on Rewriting,
Deduction and Programming, Valencia, Spain, June 12-13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {2},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/86/issue/2},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rule/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BorovanskyKKM02,
author = {Peter Borovansk{\'{y}} and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner and
Pierre{-}Etienne Moreau},
title = {{ELAN} from a rewriting logic point of view},
journal = {Theor. Comput. Sci.},
volume = {285},
number = {2},
pages = {155--185},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00358-9},
doi = {10.1016/S0304-3975(01)00358-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BorovanskyKKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrandMR02,
author = {Mark van den Brand and
Pierre{-}Etienne Moreau and
Christophe Ringeissen},
editor = {Mark van den Brand and
Ralf L{\"{a}}mmel},
title = {The {ELAN} Environment: a Rewriting Logic Environment based on {ASF+SDF}
Technology - System Demonstration},
booktitle = {Second Workshop on Language Descriptions, Tools and Applications,
{LDTA} 2002, Satellite Event of {ETAPS} 2002, Grenoble, France, April
13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {3},
pages = {50--56},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80426-2},
doi = {10.1016/S1571-0661(04)80426-2},
timestamp = {Mon, 05 Dec 2022 14:41:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrandMR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/KirchnerM01,
author = {H{\'{e}}l{\`{e}}ne Kirchner and
Pierre{-}Etienne Moreau},
title = {Promoting rewriting to a programming language: a compiler for non-deterministic
rewrite programs in associative-commutative theories},
journal = {J. Funct. Program.},
volume = {11},
number = {2},
pages = {207--251},
year = {2001},
url = {https://doi.org/10.1017/s0956796800003907},
doi = {10.1017/S0956796800003907},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/KirchnerM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MoreauRV01,
author = {Pierre{-}Etienne Moreau and
Christophe Ringeissen and
Marian Vittek},
editor = {Mark van den Brand and
Didier Parigot},
title = {Pattern-Matching Compiler},
booktitle = {First Workshop on Language Descriptions, Tools and Applications, {LDTA}
2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {2},
pages = {161--180},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80926-5},
doi = {10.1016/S1571-0661(04)80926-5},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MoreauRV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Moreau00,
author = {Pierre{-}Etienne Moreau},
editor = {Leo Bachmair},
title = {{REM} (Reduce Elan Machine): Core of the New {ELAN} Compiler},
booktitle = {Rewriting Techniques and Applications, 11th International Conference,
{RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1833},
pages = {265--269},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721975\_19},
doi = {10.1007/10721975\_19},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Moreau00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Moreau98,
author = {Pierre{-}Etienne Moreau},
editor = {Konstantinos Sagonas},
title = {A Choice-Point Library for Backtrack Programming},
booktitle = {Proceedings of the International Workshop on Implementation Technology
for Programming Languages based on Logic, held in conjunction with
the Joint International Conference and Symposium on Logic Programming,
Manchester, UK, Saturday 20th June, 1998},
pages = {16--31},
year = {1998},
timestamp = {Wed, 20 Jun 2018 17:50:49 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Moreau98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/MoreauK98,
author = {Pierre{-}Etienne Moreau and
H{\'{e}}l{\`{e}}ne Kirchner},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {A Compiler for Rewrite Programs in Associative-Commutative Theories},
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},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {230--249},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056617},
doi = {10.1007/BFB0056617},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/MoreauK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/KirchnerM98,
author = {H{\'{e}}l{\`{e}}ne Kirchner and
Pierre{-}Etienne Moreau},
editor = {Jos{\'{e}} Luiz Fiadeiro},
title = {Non-deterministic Computations in {ELAN}},
booktitle = {Recent Trends in Algebraic Development Techniques, 13th International
Workshop, {WADT} '98, Lisbon, Portugal, April 2-4, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1589},
pages = {168--182},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48483-3\_12},
doi = {10.1007/3-540-48483-3\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/KirchnerM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyKKMR98,
author = {Peter Borovansk{\'{y}} and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner and
Pierre{-}Etienne Moreau and
Christophe Ringeissen},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {An overview of {ELAN}},
booktitle = {1998 International Workshop on Rewriting Logic and its Applications,
{WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
France, September 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {15},
pages = {55--70},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)82552-6},
doi = {10.1016/S1571-0661(05)82552-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BorovanskyKKMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyJMR98,
author = {Peter Borovansk{\'{y}} and
Salma Jamoussi and
Pierre{-}Etienne Moreau and
Christophe Ringeissen},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Handling {ELAN} rewrite programs via an exchange format},
booktitle = {1998 International Workshop on Rewriting Logic and its Applications,
{WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
France, September 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {15},
pages = {173},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80011-8},
doi = {10.1016/S1571-0661(05)80011-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BorovanskyJMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BorovanskyKKMV96,
author = {Peter Borovansk{\'{y}} and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner and
Pierre{-}Etienne Moreau and
Marian Vittek},
editor = {Jos{\'{e}} Meseguer},
title = {{ELAN:} {A} logical framework based on computational systems},
booktitle = {First International Workshop on Rewriting Logic and its Applications,
{RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
3-6, 1996},
series = {Electronic Notes in Theoretical Computer Science},
volume = {4},
pages = {35--50},
publisher = {Elsevier},
year = {1996},
url = {https://doi.org/10.1016/S1571-0661(04)00032-5},
doi = {10.1016/S1571-0661(04)00032-5},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BorovanskyKKMV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KirchnerM96,
author = {H{\'{e}}l{\`{e}}ne Kirchner and
Pierre{-}Etienne Moreau},
editor = {Jos{\'{e}} Meseguer},
title = {A reflective extension of {ELAN}},
booktitle = {First International Workshop on Rewriting Logic and its Applications,
{RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
3-6, 1996},
series = {Electronic Notes in Theoretical Computer Science},
volume = {4},
pages = {149--168},
publisher = {Elsevier},
year = {1996},
url = {https://doi.org/10.1016/S1571-0661(04)00038-6},
doi = {10.1016/S1571-0661(04)00038-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KirchnerM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KirchnerM95,
author = {H{\'{e}}l{\`{e}}ne Kirchner and
Pierre{-}Etienne Moreau},
editor = {Jieh Hsiang},
title = {Prototyping Completion with Constraints Using Computational Systems},
booktitle = {Rewriting Techniques and Applications, 6th International Conference,
RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {914},
pages = {438--443},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59200-8\_79},
doi = {10.1007/3-540-59200-8\_79},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/KirchnerM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-05 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
