Accéder directement au contenu

Claude Kirchner

35
Documents
Identifiants chercheurs

Présentation

Publications

830963

Anti-patterns for Rule-based Languages

Horatiu Cirstea , Claude Kirchner , Radu Kopetz , Pierre-Etienne Moreau
Journal of Symbolic Computation, 2010, 54 (5), pp.523-550. ⟨10.1016/j.jsc.2010.01.007⟩
Article dans une revue inria-00429226v1

A rewriting calculus for cyclic higher-order term graphs

Paolo Baldan , Clara Bertolissi , Horatiu Cirstea , Claude Kirchner
Mathematical Structures in Computer Science, 2007, 17 (3), pp.363-406. ⟨10.1017/S0960129507006093⟩
Article dans une revue inria-00110872v1
Image document

A Rho-Calculus of explicit constraint application

Horatiu Cirstea , Germain Faure , Claude Kirchner
Higher-Order and Symbolic Computation, 2007, Special Issue on Rewriting Logic and its Applications, 20, pp.37-72. ⟨10.1007/s10990-007-9004-2⟩
Article dans une revue inria-00000628v3

Expressing Combinatory Reduction Systems Derivations in the Rewriting Calculus

Horatiu Cirstea , Clara Bertolissi , Claude Kirchner
Higher-Order and Symbolic Computation, 2006
Article dans une revue inria-00110869v1

Rewriting and Multisets in Rho-calculus and ELAN

Horatiu Cirstea , Claude Kirchner
Romanian Journal of Information Science and Technology, 2001, 4 (1-2), pp.33--48
Article dans une revue inria-00100656v1

The Rewriting Calculus - Part II

Horatiu Cirstea , Claude Kirchner
Logic Journal of the IGPL, 2001, 9 (3), pp.465-498. ⟨10.1093/jigpal/9.3.377⟩
Article dans une revue inria-00100532v1

The Rewriting Calculus - Part I

Horatiu Cirstea , Claude Kirchner
Logic Journal of the IGPL, 2001, 9 (3), pp.339-375. ⟨10.1093/jigpal/9.3.339⟩
Article dans une revue inria-00100531v1

Towards a sharing strategy for the graph rewriting calculus

Paolo Baldan , Clara Bertolissi , Horatiu Cirstea , Claude Kirchner
7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, Jun 2007, Paris, France
Communication dans un congrès inria-00186141v1
Image document

Decidable Type Inference for the Polymorphic Rewriting Calculus

Horatiu Cirstea , Claude Kirchner , Luigi Liquori , Benjamin Wack
17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69
Communication dans un congrès inria-00000817v1
Image document

A rho-calculus of explicit constraint application.

Horatiu Cirstea , Germain Faure , Claude Kirchner
Workshop on Rewriting Logic and Applications, Mar 2004, Barcelona (Spain), Spain
Communication dans un congrès inria-00095626v1

A rewriting calculus for cyclic higher-order term graphs

Clara Bertolissi , Paolo Baldan , Horatiu Cirstea , Claude Kirchner
2nd International Workshop on Term Graph Rewriting - TERMGRAPH'2004, Oct 2004, Rome, Italy, 20 p
Communication dans un congrès inria-00100095v1
Image document

Rewrite Strategies in the Rewriting Calculus

Horatiu Cirstea , Claude Kirchner , Luigi Liquori , Benjamin Wack
WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings, Jun 2003, Valencia, Spain. pp.593-624, ⟨10.1016/S1571-0661(05)82613-1⟩
Communication dans un congrès inria-00099586v1
Image document

Translating Combinatory Reduction Systems into the Rewriting Calculus

Clara Bertolissi , Horatiu Cirstea , Claude Kirchner
4th International Workshop on Rule-Based Programming - RULE 2003, 2003, Valencia, Spain
Communication dans un congrès inria-00107640v1
Image document

Pure Patterns Type Systems

Gilles Barthe , Horatiu Cirstea , Claude Kirchner , Luigi Liquori
Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩
Communication dans un congrès inria-00099463v2
Image document

The rho cube : some results, some problems

Horatiu Cirstea , Claude Kirchner , Luigi Liquori , Benjamin Wack
First International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, D. Kesner, T. Nipkow and F. van Raamsdonk, Jul 2002, Copenhague, Denmark
Communication dans un congrès inria-00099411v1
Image document

Rewriting Calculus with(out) Types

Horatiu Cirstea , Claude Kirchner , Luigi Liquori
WRLA 2002, 4th International Workshop on Rewriting Logic and Its Applications, Pisa, Italy 19–21 September 2002, Sep 2002, Pisa, Italy. pp.3-19, ⟨10.1016/S1571-0661(05)82526-5⟩
Communication dans un congrès inria-00100858v1
Image document

The Rho Cube

Horatiu Cirstea , Claude Kirchner , Luigi Liquori
4th International Conference on Foundations of Software Science and Computation Structures - FOSSACS 2001, Apr 2001, Genova, Italy. 15 p, ⟨10.1007/3-540-45315-6_11⟩
Communication dans un congrès inria-00107877v1
Image document

Rewriting and Multisets in the Rewriting Calculus and ELAN

Horatiu Cirstea , Claude Kirchner
Workshop on Multiset Processing, Aug 2000, Curtea de Arges, Romania, 17 p
Communication dans un congrès inria-00099053v1
Image document

The simply typed rewriting calculus

Horatiu Cirstea , Claude Kirchner
3rd International Workshop on Rewriting Logic & its Applications - WRLA2000, Sep 2000, none, 19 p
Communication dans un congrès inria-00099052v1
Image document

Using Rewriting and Strategies for Describing the B Predicate Prover

Horatiu Cirstea , Claude Kirchner
Proceedings of the Workshop on Strategies in Automated Deduction - CADE-15, F. Pfenning, B. Gramlich, 1998, Lindau, Germany, pp.23-34
Communication dans un congrès inria-00098715v1

Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN

Horatiu Cirstea , Claude Kirchner
FroCoS'98, 1998, Amsterdam, The Netherlands, 25 p
Communication dans un congrès inria-00098808v1
Image document

A rewriting calculus for cyclic higher-order term graphs

Paolo Baldan , Clara Bertolissi , Horatiu Cirstea , Claude Kirchner
[Intern report] 2005
Rapport inria-00000825v1
Image document

Production Systems and Rete Algorithm Formalisation

Horatiu Cirstea , Claude Kirchner , Michael Mm Moossen , Pierre-Etienne Moreau
[Research Report] 2004, pp.21
Rapport inria-00280938v1
Image document

Production Systems and Rete Algorithm Formalisation

Horatiu Cirstea , Claude Kirchner , Michael Moossen , Pierre-Etienne Moreau
[Contract] A04-R-546 || cirstea04d, 2004, 26 p
Rapport inria-00099850v1
Image document

Production Systems and Rewrite Systems

Horatiu Cirstea , Claude Kirchner , Michael Moossen , Pierre-Etienne Moreau
[Contract] A04-R-563 || cirstea04f, 2004, 28 p
Rapport inria-00099860v1
Image document

Types for Web Rule Languages: a preliminary study

Horatiu Cirstea , Emmanuel Coquery , Wlodzimierz Drabent , Francois Fages , Claude Kirchner
[Contract] A04-R-560 || cirstea04e, Inria. 2004, 33 p
Rapport inria-00099859v1
Image document

Production and Rewrite Systems

Horatiu Cirstea , Claude Kirchner , Michael Mm Moossen , Pierre-Etienne Moreau
[Research Report] 2004, pp.23
Rapport inria-00280939v1

A Rho Cube

Horatiu Cirstea , Claude Kirchner , Luigi Liquori
[Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
Rapport inria-00099309v1
Image document

The Rewriting Calculus

Horatiu Cirstea , Claude Kirchner
[Intern report] A00-R-444 || cirstea00f, 2000
Rapport inria-00099076v1

Matching Power

Horatiu Cirstea , Claude Kirchner , Luigi Liquori
[Intern report] A00-R-363 || cirstea00c, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
Rapport inria-00099308v1
Image document

Introduction to the Rewriting Calculus

Horatiu Cirstea , Claude Kirchner
[Research Report] RR-3818, INRIA. 1999, pp.50
Rapport inria-00072840v1
Image document

Using Rewriting and Strategies for Describing the B Predicate Prover

Horatiu Cirstea , Claude Kirchner
[Intern report] 99-R-249 || cirstea99d, 1999, 23 p
Rapport inria-00098748v1
Image document

$\rho$-Calculus. Its Syntax and Basic Properties

Horatiu Cirstea , Claude Kirchner
[Intern report] 98-R-218 || cirstea98a, 1998, 16 p
Rapport inria-00098735v1
Image document

Combining Higher-Order & First-Order Computation Using $\rho$-calculus: Towards a semantics of ELAN Full-version

Horatiu Cirstea , Claude Kirchner
[Intern report] 98-R-220 || cirstea98b, 1998
Rapport inria-00098736v1