A ρ-Calculus of explicit constraint application

Electronic Notes in Theoretical Computer Science

Volumn 117, Issue SPEC. ISS., 2005, Pages 51-67

  Cirstea, Horatiu ^a   Faure, Germain ^a   Kirchner, Claude ^b  

^a UNIVERSITÉ PARIS SACLAY   (France)

^b LORIA   (France)

Author keywords

calculus; Constraints; Explicit substitutions; Matching

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SCIENCE; CONSTRAINT THEORY; PATTERN MATCHING; SEMANTICS; SYNTACTICS;

Ρ-CALCULUS; CONSTRAINTS; EXPLICIT SUBSTITUTIONS; MATCHING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 12344288339     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.06.029     Document Type: Conference Paper

References (25)

1. M. Abadi, L. Cardelli, P.-L. Curien, and J.-J. Lévy Explicit substitutions Journal of Functional Programming 1 4 October 1991 375 416
2. H.P. Barendregt The Lambda-Calculus, its syntax and semantics Second edition Studies in Logic and the Foundation of Mathematics 1984 North Holland
3. P. Borovanský, C. Kirchner, and H. Kirchner A functional view of rewriting and strategies for a semantics of ELAN International Journal of Foundations of Computer Science 2001
4. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen. An overview of ELAN. In Proc. of WRLA'98, volume 15 of ENTCS, September 1998
5. M. Clavel, S. Eker, P. Lincoln, and J. Meseguer Principles of Maude Proc. of WRLA'96 ENTCS volume 4 1996
6. H. Cirstea. Calcul de réécriture: fondements et applications. Thèse de Doctorat, Université Henri Poincaré - Nancy 1, France, October 2000
7. H. Cirstea, and C. Kirchner The rewriting calculus - Part I and II Logic Journal of the Interest Group in Pure and Applied Logics 9 3 2001 427 498
8. H. Cirstea, C. Kirchner, and L. Liquori. Rewriting calculus with(out) types. In Proc. of WRLA'02, volume 71 of ENTCS, September 2002
9. H. Cirstea, C. Kirchner, L. Liquori, and B. Wack. Rewrite strategies in the rewriting calculus. In Proc. of WRS'03, volume 83 of ENTCS, June 2003
10. N.G. de Bruijn Lambda-calculus with name free formulas involving symbols that represent reference transforming mappings Indagationes Mathematicae 40 1978 348 356
11. G. Dowek, T. Hardin, and C. Kirchner Higher-order unification via explicit substitutions Information and Computation 157 1/2 2000 183 235
12. S. Eker Associative-Commutative Matching Via Bipartite Graph Matching The Computer Journal 38 5 1995 381 399
13. G. Faure. Explicit rewriting calculus. Master thesis, IRISA, LORIA, ENS-Cachan, September 2003
14. G. Faure and C. Kirchner. Exceptions in the rewriting calculus. In Proc. of RTA'02, volume 2378 of LNCS, pages 66-82, July 2002
15. D. Hendriks, and V. van Oostrom The adbmal-calculus Proc. of CADE'03 LNAI volume 2741 2003 136 150
16. J. Klop. Combinatory Reduction Systems. Ph.D. thesis, Mathematisch Centrum - Amsterdam, Holland, 1980
17. P. Lescanne From λσ to λv a journey through calculi of explicit substitutions Conference Record of POPL '94 January 1994 ACM 60 69
18. C. Liang, G. Nadathur, and X. Qi. Choices in representation and reduction strategies for lambda terms in intensional contexts. Technical Report 2003/2, University of Minnesota, October 2003
19. L. Liquori and B.P. Serpette. An imperative rewriting calculus. In Proc. of PPDP'04, LNCS, August 2004
20. P.-E. Moreau, C. Ringeissen, and M. Vittek. A Pattern Matching Compiler for Multiple Target Languages. In Proc. of CC'03, volume 2622 of LNCS, pages 61-76, May 2003
21. C. Muñoz. Un calcul de substitutions pour la représentation de preuves partielles en théorie de types. Thèse de doctorat, Université Paris 7, Novembre 1997
22. Q.-H. Nguyen. Certifying Term Rewriting Proof in ELAN. In Proc. of RULE'01, volume 59 of ENTCS, September 2001
23. K. H. Rose. Operational Reduction Models for Functional Programming Languages. PhD thesis, DIKU, University of Copenhagen, Denmark, February 1996
24. A. Stump, A. Deivanayagam, S. Kathol, D. Lingelbach, and D. Schobel. Rogue decision procedures. In International Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2003
25. E. Chailloux, P. Manoury, and B. Pagano Développement d'applications avec Objective Caml 2000 Editions O'Reilly