Bibliography
Major publications by the team in recent years
-
1E. Balland, C. Kirchner, P.-E. Moreau.
Formal Islands, in: 11th International Conference on Algebraic Methodology and Software Technology, Kuressaare, Estonia, M. Johnson, V. Vene (editors), LNCS, Springer-Verlag, jul 2006, vol. 4019, p. 51–65.
http://www. loria. fr/ ~moreau/ Papers/ BallandKM-AMAST2006. pdf -
2G. Barthe, H. Cirstea, C. Kirchner, L. Liquori.
Pure Patterns Type Systems, in: Principles of Programming Languages - POPL2003, New Orleans, USA, ACM, Jan 2003, p. 250–261. -
3P. Brauner, C. Houtmann, C. Kirchner.
Principles of Superdeduction, in: Twenty-Second Annual IEEE Symposium on Logic in Computer Science - LiCS 2007, Wroclaw Pologne, IEEE Computer Society, 2007.
http://dx. doi. org/ 10. 1109/ LICS. 2007. 37 -
4H. Cirstea, C. Kirchner.
The rewriting calculus - Part I and II, in: Logic Journal of the Interest Group in Pure and Applied Logics, May 2001, vol. 9, no 3, p. 427-498. -
5H. Cirstea, C. Kirchner, R. Kopetz, P.-E. Moreau.
Anti-patterns for Rule-based Languages, in: Journal of Symbolic Computation, February 2010, vol. 54, no 5, p. 523-550. -
6C. Kirchner, R. Kopetz, P.-E. Moreau.
Anti-Pattern Matching, in: 16th European Symposium on Programming, Braga, Portugal, Lecture Notes in Computer Science, Springer, 2007, vol. 4421, p. 110–124.
http://www. loria. fr/ ~moreau/ Papers/ KirchnerKM-2007. pdf -
7P.-E. Moreau, C. Ringeissen, M. Vittek.
A Pattern Matching Compiler for Multiple Target Languages, in: 12th Conference on Compiler Construction, Warsaw (Poland), G. Hedin (editor), LNCS, Springer-Verlag, may 2003, vol. 2622, p. 61–76.
http://www. loria. fr/ ~moreau/ Papers/ MoreauRV-CC2003. ps. gz
Doctoral Dissertations and Habilitation Theses
-
8C. Tavares.
Un système de types pour la programmation par réécriture embarquée, Université de Lorraine, March 2012.
http://hal. inria. fr/ tel-00702301
International Conferences with Proceedings
-
9A. Afroozeh, J.-C. Bach, M. Van Den Brand, A. Johnstone, M. Manders, P.-E. Moreau, E. Scott.
Island Grammar-based Parsing using GLL and Tom, in: 5th International Conference on Software Language Engineering - SLE 2012, Dresden, Germany, June 2012.
http://hal. inria. fr/ hal-00722878 -
10J.-C. Bach, X. Crégut, P.-E. Moreau, M. Pantel.
Model Transformations with Tom, in: LDTA - 12th Workshop on Language Descriptions, Tools and Applications - 2012, Tallinn, Estonia, ACM, 2012.
http://hal. inria. fr/ hal-00646350 -
11J.-C. Bach, P.-E. Moreau, M. Pantel.
Tom-based tools to transform EMF models in avionics context, in: ITSLE - Industrial Track of Software Language Engineering 2012, Dresden, Germany, September 2012.
http://hal. inria. fr/ hal-00730738 -
12T. Bourdier, H. Cirstea, M. Jaume, H. Kirchner.
Formal Specification and Validation of Security Policies, in: Foundations & Practice of Security, Paris, France, 2012.
http://hal. inria. fr/ inria-00507300 -
13A. Henaien, S. Stratulat.
Performing Implicit Induction Reasoning with Certifying Proof Environments, in: SCSS'2012 - 4th International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisie, December 2012.
http://hal. inria. fr/ hal-00764909
Other Publications
-
15J.-C. Bach, P.-E. Moreau, M. Pantel.
EMF Models Transformations with Tom, in: 5th International Conference on Software Language Engineering - SLE 2012, Dresden, Germany, 2012, This poster gives an overview of work on models transformations by using Tom language. It was presented at SLE 2012.
http://hal. inria. fr/ hal-00765091
-
16F. Baader, T. Nipkow.
Term Rewriting and All That., Cambridge University Press, 1998. -
17J.-C. Bach, E. Balland, P. Brauner, R. Kopetz, P.-E. Moreau, A. Reilles.
Tom Manual, LORIA, 2009, 155 p.
http://hal. inria. fr/ inria-00121885/ en/ -
18E. Balland, P. Brauner, R. Kopetz, P.-E. Moreau, A. Reilles.
Tom: Piggybacking rewriting on java, in: 18th International Conference on Rewriting Techniques and Applications - (RTA), Paris, France, Lecture Notes in Computer Science, Jun 2007, vol. 4533, p. 36–47. -
19P. Borovanský, C. Kirchner, H. Kirchner.
Controlling Rewriting by Rewriting, in: Proceedings of the first international workshop on rewriting logic - (WRLA), Asilomar (California), J. Meseguer (editor), Electronic Notes in Theoretical Computer Science, Sep 1996, vol. 4. -
20P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau.
ELAN from a rewriting logic point of view, in: Theoretical Computer Science, Jul 2002, vol. 2, no 285, p. 155–185. -
21T. Bourdier, H. Cirstea, D. Dougherty, H. Kirchner.
Extensional and Intensional Strategies, in: Electronic Proceedings in Theoretical Computer Science, 2010, vol. 15, p. 1–19. -
22H. Cirstea.
Le calcul de réécriture, Université Nancy II, October 2010, Habilitation à Diriger des Recherches.
http://hal. inria. fr/ tel-00546917/ en -
23C. Fuhs, J. Giesl, M. Parting, P. Schneider-Kamp, S. Swiderski.
Proving Termination by Dependency Pairs and Inductive Theorem Proving, in: J. Autom. Reasoning, 2011, vol. 47, no 2, p. 133–160. -
24J.-Y. Girard, Y. Lafont, P. Taylor.
Proofs and Types, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1989, vol. 7. -
25C. B. Jay, D. Kesner.
First-class patterns, in: Journal of Functional Programming, 2009, vol. 19, no 2, p. 191–225. -
26J.-P. Jouannaud, H. Kirchner.
Completion of a set of rules modulo a set of Equations, in: SIAM J. of Computing, 1986, vol. 15, no 4, p. 1155–1194. -
27J.-P. Jouannaud, C. Kirchner.
Solving equations in abstract algebras: a rule-based survey of unification, in: Computational Logic. Essays in honor of Alan Robinson, Cambridge (MA, USA), J.-L. Lassez, G. Plotkin (editors), The MIT press, Cambridge (MA, USA), 1991, chap. 8, p. 257–321. -
28G. Kahn.
Natural Semantics, Inria Sophia-Antipolis, feb 1987, no 601. -
29C. Kirchner, H. Kirchner, M. Vittek.
Designing Constraint Logic Programming Languages using Computational Systems, in: Proc. 2nd CCL Workshop, La Escala (Spain), F. Orejas (editor), Sep 1993. -
30H. Kirchner, P.-E. Moreau.
Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories, in: Journal of Functional Programming, 2001, vol. 11, no 2, p. 207–251.
http://www. loria. fr/ ~moreau/ Papers/ jfp. ps. gz -
31J. W. Klop, V. van Oostrom, R. de Vrijer.
Lambda calculus with patterns, in: Theor. Comput. Sci., 2008, vol. 398, no 1-3, p. 16–31. -
32M. Korp, C. Sternagel, H. Zankl, A. Middeldorp.
Tyrolean Termination Tool 2, in: RTA, 2009, p. 295–304. -
33P.-E. Moreau, C. Ringeissen, M. Vittek.
A Pattern Matching Compiler for Multiple Target Languages, in: 12th Conference on Compiler Construction - (CC), G. Hedin (editor), Lecture Notes in Computer Science, Springer-Verlag, MAY 2003, vol. 2622, p. 61–76. -
34S. Peyton-Jones.
The implementation of functional programming languages, Prentice-Hall, 1987. -
35M. Rusinowitch, S. Stratulat, F. Klay.
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm, in: J. Autom. Reasoning, 2003, vol. 30, no 2, p. 53–177. -
36M. van den Brand, A. van Deursen, P. Klint, S. Klusener, E. A. van der Meulen.
Industrial Applications of ASF+SDF, in: AMAST '96, M. Wirsing, M. Nivat (editors), Lecture Notes in Computer Science, Springer-Verlag, 1996, vol. 1101, p. 9–18.