The use of metasystem transition in theorem proving and program optimization
- 1 January 1980
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Semantic definitions in REFAL and automatic production of compilersLecture Notes in Computer Science, 1980
- A supercompiler system based on the language REFALACM SIGPLAN Notices, 1979