Number of documents

16

Claude Kirchner


"Pierre-Etienne Moreau"   

Journal articles2 documents

  • Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-patterns for Rule-based Languages. Journal of Symbolic Computation, Elsevier, 2010, 54 (5), pp.523-550. ⟨10.1016/j.jsc.2010.01.007⟩. ⟨inria-00429226⟩
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. ELAN from a rewriting logic point of view. Theoretical Computer Science, Elsevier, 2002, 285 (2), pp.155-185. ⟨inria-00100974⟩

Conference papers8 documents

  • Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares. A Type System for Tom. Proceedings Tenth International Workshop on Rule-Based Programming - RULE 2009, Jun 2009, Brasilia, Brazil. ⟨10.4204/EPTCS.21.5⟩. ⟨inria-00426439v2⟩
  • Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-Pattern Matching Modulo. Second International Conference on Language and Automata Theory and Applications - LATA 2008, Mar 2008, Tarragone, Italy. pp.275-286, ⟨10.1007/978-3-540-88282-4_26⟩. ⟨inria-00337722⟩
  • Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-Pattern Matching Modulo. 21th International Workshop on Unification - UNIF'07, 2007, Paris, France. ⟨inria-00176055⟩
  • Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-Pattern Matching. 16th European Symposium on Programming - ESOP'07, Mar 2007, Braga, Portugal. pp.110-124, ⟨10.1007/978-3-540-71316-6_9⟩. ⟨inria-00129419⟩
  • Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau, Anderson Santana de Oliveira. Modular Formal Islands: Embed theory in your practice. Third Taiwanese-French Conference on Information Technology - TFIT 2006, INRIA/LORIA, Mar 2006, Nancy/France. ⟨inria-00001186⟩
  • Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau. Formal Islands. 11th International Conference on Algebraic Methodology and Software Technology - AMAST '06, Jul 2006, Kuressaare, Estonia. pp.51-65. ⟨inria-00001146⟩
  • Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles. Formal Validation of Pattern Matching Code. Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming - PPDP'2005, Jul 2005, Lisbon/Portugal, pp.187--197. ⟨inria-00000701⟩
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen. An Overview of ELAN. Second Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, 16 p. ⟨inria-00098518⟩

Reports6 documents

  • Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-Pattern Matching Modulo. [Research Report] 2007, pp.21. ⟨inria-00129421v3⟩
  • Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau. Production and Rewrite Systems. [Research Report] 2004, pp.23. ⟨inria-00280939⟩
  • Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau. Production Systems and Rete Algorithm Formalisation. [Research Report] 2004, pp.21. ⟨inria-00280938⟩
  • Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau. Production Systems and Rete Algorithm Formalisation. [Contract] A04-R-546 || cirstea04d, 2004, 26 p. ⟨inria-00099850⟩
  • Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau. Production Systems and Rewrite Systems. [Contract] A04-R-563 || cirstea04f, 2004, 28 p. ⟨inria-00099860⟩
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. ELAN from the rewriting logic point of view. [Intern report] 99-R-284 || borovansky99b, 1999, 39 p. ⟨inria-00107841⟩