Contextual rewriting

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

Volumn 202 LNCS, Issue , 1985, Pages 46-62

  Zhang, Hantao ^a,b   Remy, Jean Luc ^a  

^a LORIA   (France)

^b RENSSELAER POLYTECHNIC INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85031798884     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-15976-2_2     Document Type: Conference Paper

References (24)

1. Bergstra J.A., Broy M., Tucker J.V. and Wirsing M. On the power of algebraic specifications, 10th MFCS, LNCS 218, Springer Verlag, Berlin, pp 193-202, 1981
2. Bergstra J. and Klop J. Conditional rewrite rules: confluency and termination, Report IW 198/82, Amsterdam, 1982.
3. Brand D., Darringer J.A., Joyner W.H. Completeness of conditional reductions, Research report RC 7404 IBM, 1978
4. Dershowvitz N., Computing with Rewrite systems, Proc. of NSF, Workshop on the RRL, Report No. 84GEN008 April 1984.
5. Drosten K. Toward executable specifications unsing conditional axioms, Report 83-01, t.U. Braunschweig, 1983. A.C.M. 29, pp 206-227, 1982
6. Forgaard R. and Guttag J.V. REVE: a term rewriting system generator with failure-resistant knuth-Bendix, Laboratory for computer science MIT 1984.
7. Guttag J.V., Horowitz R., Musser D.R. The design of data type specifications. Current Trends in Programming Methodology, Vol. IV, R. Yeh, (Ed.), Prentice Hall (1978)
8. Goguen J.A. How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation, Proc, the Workshop on Automated deduction, Les Arcs, 1980
9. Goguen J.A., Thatcher J.W. and Wagner E.G., An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types, "Current Trends in Programming Methodology", Vol 4, Ed. Yeh R, Prentice-Hall, pp. 80-149, 1978
10. Hsiang J. Refutational theorem proving using term rewriting systems, Res. Report, Dept of Comp. Sc, U. of Illinois, Urbana, 1981
11. Huet G. A complete proof of correctness of the Knuth-Bendix completion algorithm J.C.S.S. 231 11-21 1981.
12. Huet G, and Oppen D., Equations and rewrite rules: a survey, in formal languages: perspectives and open problems, Ed. Book R, Academic Press, 1980
13. Kaplan S. Un langage de specification de types abstraits algebrique, These de 3eme cycle, Orsay, 1983.
14. Kaplan S. Fair conditional term rewriting systems: unification, termination and confluence, Manuscript, LRI, Orsay, 1984.
15. Knuth D. and Bendix P. Simple word problems in universal algebras, in computational problems in abstract algebra, Ed. Leech J, Pergamon Press, pp. 263-297, 1970
16. Lankford D.S. Some new approaches to the theory and applications of conditional term rewriting systems, report MTP-6, math. Dept, Lousiana Tech. U, Aug. 1979
17. Lescanne P. Computer experiments with the REVE term rewriting system generator, 1983, Proceedings 10th ACM symposium principles of programming languages, Austin (Texas, USA)
18. D. L. Musser On Proving Inductive Properties of Abstract Data Types, Proceedings of the 7th Annual Acm Symposium on Principles of Programming Languages, Las Vegas, P. 154-162, 1980
19. Navarro M. and Orejas F. On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems, Eurosam 84, Oxford.
20. Pletat U„ Engels G., Ehrich H.D., Operational semantics of algebraic specifications with conditional equations, 7eme CAAP, (Lille), L.N.C.S. Springer Verlag 1982
21. Remy J.L. Etudes des systemes reecriture conditionnelles et applications aux types abstraits algebriques, These d’etat, Universite NANCY 1, 1982
22. Remy J.L. Proving conditional identities by equational case reasoning rewriting and normalization, 1983, Actes seminaire laboratoire informatique theorique de Paris.
23. Remy J.L., Zhang H. REVEUR 4: a system for validating conditional algebraic specifications of abstract data types, Proce of 6th ECAI, Pisa, pp. 563-572 (1984)
24. Zhang H., REVEUR4: L’etude et la mise en oevre de la reecriture conditionnelle." These de 3eme cycle, University of NANCY 1 (1984).