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, pp. 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, pp. 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, n^o 3, pp. 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, n^o 5, pp. 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, pp. 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, pp. 61–76.
  http://www.loria.fr/~moreau/Papers/MoreauRV-CC2003.ps.gz

Publications of the year

International Conferences with Proceedings

• 8M. Biernacka, D. Biernacki, S. Lenglet, M. Materzok.
  Proving termination of evaluation for System F with control operators, in: COS2013 - First Workshop on Control Operators and their Semantics, Eindhoven, Netherlands, U. de'Liquoro, A. Saurin (editors), Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, September 2013, vol. 127, pp. 15-29, In Proceedings COS 2013, arXiv:1309.0924. [ DOI : 10.4204/EPTCS.127.2 ]
  http://hal.inria.fr/hal-00860954
• 9D. Biernacki, S. Lenglet.
  Environmental Bisimulations for Delimited-Control Operators, in: APLAS - 11th Asian Symposium on Programming Languages and Systems - 2013, Melbourne, Australia, C. chieh Shan (editor), LNCS, Springer, 2013, vol. 8301, pp. 333-348.
  http://hal.inria.fr/hal-00903839
• 10C. Calvès.
  Unifying Nominal Unification, in: Rewriting Techniques and Applications, Eindhoven, Netherlands, F. van Raamsdonk (editor), LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, June 2013, vol. 21, pp. 143-157. [ DOI : 10.4230/LIPIcs.RTA.2013.143 ]
  http://hal.inria.fr/hal-00926833
• 11G. Castagna, K. Nguyen, Z. Xu, H. Im, S. Lenglet, L. Padovani.
  Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation, in: POPL '14, 41th ACM Symposium on Principles of Programming Languages, San Diego, United States, 2014, to appear. [ DOI : 10.1145/2535838.2535840 ]
  http://hal.inria.fr/hal-00907166

Internal Reports

• 12J.-C. Bach.
  Une approche hybride GPL-DSL pour transformer des modèles, January 2013, 26 p, Première version d'un article soumis à TSI.
  http://hal.inria.fr/hal-00786254
• 13D. Biernacki, S. Lenglet.
  Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value Lambda-mu Calculus, Inria, January 2014, n^o RR-8447.
  http://hal.inria.fr/hal-00926100
• 14A. Rousseau, A. Darnaud, B. Goglin, C. Acharian, C. Leininger, C. Godin, C. Holik, C. Kirchner, D. Rives, E. Darquie, E. Kerrien, F. Neyret, F. Masseglia, F. Dufour, G. Berry, G. Dowek, H. Robak, H. Xypas, I. Illina, I. Gnaedig, J. Jongwane, J. Ehrel, L. Viennot, L. Guion, L. Calderan, L. Kovacic, M. Collin, M.-A. Enard, M.-H. Comte, M. Quinson, M. Olivi, M. Giraud, M. Dorémus, M. Ogouchi, M. Droin, N. Lacaux, N. Rougier, N. Roussel, P. Guitton, P. Peterlongo, R.-M. Cornus, S. Vandermeersch, S. Maheo, S. Lefebvre, S. Boldo, T. Viéville, V. Poirel, A. Chabreuil, A. Fischer, C. Farge, C. Vadel, I. Astic, J.-P. Dumont, L. Féjoz, P. Rambert, P. Paradinas, S. De Quatrebarbes, S. Laurent.
  Médiation Scientifique : une facette de nos métiers de la recherche, March 2013, 34 p.
  http://hal.inria.fr/hal-00804915

Scientific Popularization

• 15M. Quinson, J.-C. Bach.
  L'informatique nomade, c'est la liberté !, in: Interstices, February 2013.
  http://hal.inria.fr/hal-00794187

Other Publications

• 16D. Biernacki, S. Lenglet.
  Environmental Bisimulations for Delimited-Control Operators, September 2013, Long version of the corresponding APLAS13 paper.
  http://hal.inria.fr/hal-00862189

References in notes

• 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, pp. 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, n^o 285, pp. 155–185.
• 21G. Castagna, K. Nguyen, Z. Xu, P. Abate.
  Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type Reconstruction, November 2013.
  http://hal.archives-ouvertes.fr/hal-00880744
• 22H. Cirstea.
  Le calcul de réécriture, Université Nancy II, October 2010, Habilitation à Diriger des Recherches.
  http://hal.inria.fr/tel-00546917/en
• 23J.-Y. Girard, Y. Lafont, P. Taylor.
  Proofs and Types, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1989, vol. 7.
• 24C. B. Jay, D. Kesner.
  First-class patterns, in: Journal of Functional Programming, 2009, vol. 19, n^o 2, pp. 191–225.
• 25J.-P. Jouannaud, H. Kirchner.
  Completion of a set of rules modulo a set of Equations, in: SIAM J. of Computing, 1986, vol. 15, n^o 4, pp. 1155–1194.
• 26J.-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, 1991, chap. 8, pp. 257–321.
• 27G. Kahn.
  Natural Semantics, Inria Sophia-Antipolis, feb 1987, n^o 601.
• 28C. 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.
• 29H. 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, n^o 2, pp. 207–251.
  http://www.loria.fr/~moreau/Papers/jfp.ps.gz
• 30J. W. Klop, V. van Oostrom, R. de Vrijer.
  Lambda calculus with patterns, in: Theor. Comput. Sci., 2008, vol. 398, n^o 1-3, pp. 16–31.
• 31P.-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, pp. 61–76.
• 32S. Peyton-Jones.
  The implementation of functional programming languages, Prentice-Hall, 1987.
• 33M. 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, pp. 9–18.