Compiling conditional rewriting systems
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 111-128
- https://doi.org/10.1007/3-540-19242-5_10
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A compiler for conditional term rewriting systemsPublished by Springer Nature ,1987
- Semantic confluence tests and completion methodsInformation and Control, 1985
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- Compiling pattern matchingLecture Notes in Computer Science, 1985
- Compiling a functional languagePublished by Association for Computing Machinery (ACM) ,1984