A graph reduction approach to incremental term rewriting
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 259-273
- https://doi.org/10.1007/3-540-56868-9_20
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- A graph reduction approach to incremental term rewritingPublished by Springer Nature ,1993
- Optimal derivations in weak lambda-calculi and in orthogonal term rewriting systemsPublished by Association for Computing Machinery (ACM) ,1991
- Incremental reduction in the lambda calculusPublished by Association for Computing Machinery (ACM) ,1990
- Incremental evaluation for attribute grammars with application to syntax-directed editorsPublished by Association for Computing Machinery (ACM) ,1981