Matching power

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2051 LNCS, Issue , 2001, Pages 77-92

  Cirstea, Horatiu ^a   Kirchner, Claude ^a   Liquori, Luigi ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; DIFFERENTIATION (CALCULUS); ENCODING (SYMBOLS); PATHOLOGY; COMPUTATIONAL MECHANICS;

COMPLEX STRUCTURE; LAMBDA CALCULUS; OBJECT CALCULI; OBJECT ORIENTED; REWRITING CALCULUS; RHO CALCULUS;

CALCULATIONS;

EID: 43449122789     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45127-7_8     Document Type: Conference Paper

References (39)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer Verlag, 1996.
2. H. Ait-Kaci, A. Podelski, and G. Smolka. A feature constraint system for logic programming with entailment. Theoretical Computer Science, 122(1-2):263-283, 1994.
3. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen. An overview of ELAN. In Proc. of WRLA, volume 15. Electronic Notes in Theoretical Computer Science, 1998.
4. V. Breazu-Tannen. Combining algebra and higher-order types. In Proc. of LICS, pages 82-90, 1988.
5. H.-J. Bürckert. Matching - A special case of unification? Journal of Symbolic Computation, 8(5):523-536, 1989.
6. H. Cirstea. Calcul de réécriture : fondements et applications. Thèse de Doctorat d'Université, Université Henri Poincaré - Nancy I, 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):427-498, 2001.
8. H. Cirstea, C. Kirchner, and L. Liquori. Matching Power. Technical Report A00- R-363, LORIA, Nancy, 2000.
9. H. Cirstea, C. Kirchner, and L. Liquori. The Rho Cube. In Proc. of FOSSACS, volume 2030 of LNCS, pages 166-180. Springer-Verlag, 2001.
10. M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. In Proc. of WRLA, volume 4. Electronic Notes in Theoretical Computer Science, 1996.
11. L. Colson. Une structure de données pour le λ-calcul typé. Private Communication, 1988.
12. G. Dowek. Third order matching is decidable. Annals of Pure and Applied Logic, 69:135-155, 1994.
13. Hubert Dubois and Hélène Kirchner. Objects, rules and strategies in ELAN. , 2000. Submitted.
14. K. Fisher, F. Honsell, and J. C. Mitchell. A Lambda Calculus of Objects and Method Specialization. Nordic Journal of Computing, 1(1):3-37, 1994.
15. K. Futatsugi and A. Nakagawa. An overview of CAFE specification environment - an algebraic approach for creating, verifying, and maintaining formal specifications over networks. In Proc. of FEM, 1997.
16. J. Gallier and V. Breazu-Tannen. Polymorphic rewriting conserves algebraic strong normalization and confluence. In Proc. of ICALP, volume 372 of LNCS, pages 137- 150. Springer-Verlag, 1989.
17. P. Di Gianantonio, F. Honsell, and L. Liquori. A Lambda Calculus of Objects with Self-inflicted Extension. In Proc. of OOPSLA, pages 166-178. The ACM Press, 1998.
18. J. A. Goguen, C. Kirchner, H. Kirchner, A. Megrelis, J. Meseguer, and T. Winkler. An introduction to OBJ-3. In Proc. of CTRS, volume 308 of LNCS, pages 258-263. Springer-Verlag, 1987.
19. C. M. Hoffmann and M. J. O'Donnell. Pattern matching in trees. Journal of the ACM, 29(1):68-95, 1982.
20. G. Huet and B. Lang. Proving and applying program transformations expressed with second-order patterns. Acta Informatica, 11:31-55, 1978
21. J.-M. Hullot. Associative-commutative pattern matching. In Proc. of IJCAI, 1979.
22. J.P. Jouannaud and M. Okada. Abstract data type systems. Theoretical Computer Science, 173(2):349-391, 1997.
23. C. Kirchner and H. Kirchner. Rewriting, solving, proving. A preliminary version of a book available at www.loria.fr/~ckirchne/rsp.ps.gz, 1999.
24. C. Kirchner, H. Kirchner, and M. Vittek. Designing constraint logic programming languages using computational systems. In Principles and Practice of Constraint Programming. The Newport Papers., chapter 8, pages 131-158. The MIT press, 1995.
25. J.W. Klop, V. van Oostrom, and F. van Raamsdonk. Combinatory reduction systems: introduction and survey. Theoretical Computer Science, 121:279-308, 1993.
26. Donald E. Knuth, J. Morris, and V. Pratt. Fast pattern matching in strings. SIAM Journal of Computing, 6(2):323-350, 1977.
27. A. Laville. Lazy pattern matching in the ML language. In Proc. FCT & TCS, volume 287 of LNCS, pages 400-419. Springer-Verlag, 1987.
28. D Miller. A logic programming language with lambda-abstraction, function variables, and simple unification. In Proc. of ELP, volume 475 of LNCS, pages 253-281. Springer-Verlag, 1991.
29. Tobias Nipkow and Christian Prehofer. Higher-order rewriting and equational reasoning. In W. Bibel and P. Schmitt, editors, Automated Deduction - A Basis for Applications. Volume I: Foundations. Kluwer, 1998.
30. M. Okada. Strong normalizability for the combined system of the typed λ calculus and an arbitrary convergent term rewrite system. In Proc. of ISSAC, pages 357- 363. ACM Press, 1989.
31. V. Padovani. Decidability of fourth-order matching. Mathematical Structures in Computer Science, 3(10):361-372, 2000.
32. G. Peterson and M. E. Stickel. Complete sets of reductions for some equational theories. Journal of the ACM, 28:233-264, 1981.
33. S. Peyton-Jones. The implementation of functional programming languages. Prentice Hall, Inc., 1987.
34. Équipe Protheo. The Elan Home Page, 2001. http://elan.loria.fr.
35. A. van Deursen, J. Heering, and P. Klint. Language Prototyping. World Scientific, 1996.
36. V. van Oostrom. Lambda calculus with patterns. Technical Report IR-228, Vrije Universiteit, November 1990.
37. P. Viry. Input/Output for ELAN. In Proc. of WRLA, volume 4. Electronic Notes in Theoretical Computer Science, 1996.
38. E. Visser and Z.e.A. Benaissa. A core language for rewriting. In Proc. of WRLA, volume 15. Electronic Notes in Theoretical Computer Science, 1998.
39. D. A. Wolfram. The Clausal Theory of Types, volume 21 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1993.