Number of documents

36

Claude Kirchner


"Horatiu Cirstea"   

Journal articles7 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⟩
  • Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. A rewriting calculus for cyclic higher-order term graphs. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2007, 17 (3), pp.363-406. ⟨10.1017/S0960129507006093⟩. ⟨inria-00110872⟩
  • Horatiu Cirstea, Germain Faure, Claude Kirchner. A Rho-Calculus of explicit constraint application. Higher-Order and Symbolic Computation, Springer Verlag, 2007, Special Issue on Rewriting Logic and its Applications, 20, pp.37-72. ⟨10.1007/s10990-007-9004-2⟩. ⟨inria-00000628v3⟩
  • Horatiu Cirstea, Clara Bertolissi, Claude Kirchner. Expressing Combinatory Reduction Systems Derivations in the Rewriting Calculus. Higher-Order and Symbolic Computation, Springer Verlag, 2006. ⟨inria-00110869⟩
  • Horatiu Cirstea, Claude Kirchner. The Rewriting Calculus - Part II. Logic Journal of the Interest Group in Pure and Applied Logics, 2001, 9 (3), pp.465-498. ⟨10.1093/jigpal/9.3.377⟩. ⟨inria-00100532⟩
  • Horatiu Cirstea, Claude Kirchner. The Rewriting Calculus - Part I. Logic Journal of the Interest Group in Pure and Applied Logics, 2001, 9 (3), pp.427-463. ⟨10.1093/jigpal/9.3.339⟩. ⟨inria-00100531⟩
  • Horatiu Cirstea, Claude Kirchner. Rewriting and Multisets in Rho-calculus and ELAN. Romanian Journal of Information Science and Technology, Romanian Academy, 2001, 4 (1-2), pp.33--48. ⟨inria-00100656⟩

Conference papers15 documents

  • Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. Towards a sharing strategy for the graph rewriting calculus. 7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, Jun 2007, Paris, France. ⟨inria-00186141⟩
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. Decidable Type Inference for the Polymorphic Rewriting Calculus. 17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69. ⟨inria-00000817⟩
  • Horatiu Cirstea, Germain Faure, Claude Kirchner. A rho-calculus of explicit constraint application.. Workshop on Rewriting Logic and Applications, Mar 2004, Barcelona (Spain), Spain. ⟨inria-00095626⟩
  • Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner. A rewriting calculus for cyclic higher-order term graphs. 2nd International Workshop on Term Graph Rewriting - TERMGRAPH'2004, Oct 2004, Rome, Italy, 20 p. ⟨inria-00100095⟩
  • Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Pure Patterns Type Systems. 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⟩. ⟨inria-00099463v2⟩
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. Rewrite Strategies in the Rewriting Calculus. 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⟩. ⟨inria-00099586⟩
  • Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. Translating Combinatory Reduction Systems into the Rewriting Calculus. 4th International Workshop on Rule-Based Programming - RULE 2003, 2003, Valencia, Spain. ⟨inria-00107640⟩
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Rewriting Calculus with(out) Types. 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⟩. ⟨inria-00100858⟩
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. The rho cube : some results, some problems. 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. ⟨inria-00099411⟩
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Matching Power. 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings, May 2001, Utrecht, Netherlands. pp.77-92, ⟨10.1007/3-540-45127-7_8⟩. ⟨inria-00107876v2⟩
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. The Rho Cube. 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 ⟩. ⟨inria-00107877⟩
  • Horatiu Cirstea, Claude Kirchner. The simply typed rewriting calculus. 3rd International Workshop on Rewriting Logic & its Applications - WRLA2000, Sep 2000, none, 19 p. ⟨inria-00099052⟩
  • Horatiu Cirstea, Claude Kirchner. Rewriting and Multisets in the Rewriting Calculus and ELAN. Workshop on Multiset Processing, Aug 2000, Curtea de Arges, Romania, 17 p. ⟨inria-00099053⟩
  • Horatiu Cirstea, Claude Kirchner. Using Rewriting and Strategies for Describing the B Predicate Prover. Proceedings of the Workshop on Strategies in Automated Deduction - CADE-15, F. Pfenning, B. Gramlich, 1998, Lindau, Germany, pp.23-34. ⟨inria-00098715⟩
  • Horatiu Cirstea, Claude Kirchner. Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN. FroCoS'98, 1998, Amsterdam, The Netherlands, 25 p. ⟨inria-00098808⟩

Other publications1 document

  • Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, et al.. Types for REWERSE reasoning and query languages I3-D4. 2005, 71p. ⟨hal-01149625⟩

Reports13 documents

  • Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. A rewriting calculus for cyclic higher-order term graphs. [Intern report] 2005. ⟨inria-00000825⟩
  • 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, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, et al.. Types for Web Rule Languages: a preliminary study. [Contract] A04-R-560 || cirstea04e, Inria. 2004, 33 p. ⟨inria-00099859⟩
  • 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⟩
  • Horatiu Cirstea, Claude Kirchner. The Rewriting Calculus. [Intern report] A00-R-444 || cirstea00f, 2000. ⟨inria-00099076⟩
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Matching Power. [Intern report] A00-R-363 || cirstea00c, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p. ⟨inria-00099308⟩
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. A Rho Cube. [Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p. ⟨inria-00099309⟩
  • Horatiu Cirstea, Claude Kirchner. Introduction to the Rewriting Calculus. [Research Report] RR-3818, INRIA. 1999, pp.50. ⟨inria-00072840⟩
  • Horatiu Cirstea, Claude Kirchner. Using Rewriting and Strategies for Describing the B Predicate Prover. [Intern report] 99-R-249 || cirstea99d, 1999, 23 p. ⟨inria-00098748⟩
  • Horatiu Cirstea, Claude Kirchner. $\rho$-Calculus. Its Syntax and Basic Properties. [Intern report] 98-R-218 || cirstea98a, 1998, 16 p. ⟨inria-00098735⟩
  • Horatiu Cirstea, Claude Kirchner. Combining Higher-Order & First-Order Computation Using $\rho$-calculus: Towards a semantics of ELAN Full-version. [Intern report] 98-R-220 || cirstea98b, 1998. ⟨inria-00098736⟩