Experiences with the RAP system — a specification interpreter combining term rewriting and resolution
- 1 January 1986
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 339-350
- https://doi.org/10.1007/3-540-16442-1_26
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Application of PROLOG to test sets generation from algebraic specificationsLecture Notes in Computer Science, 1985
- ASSPEGIQUE: An integrated environment for algebraic specificationsLecture Notes in Computer Science, 1985
- Unification in conditional-equational theoriesLecture Notes in Computer Science, 1985
- NARROWER: a new algorithm for unification and its application to Logic ProgrammingLecture Notes in Computer Science, 1985
- Oriented equational clauses as a programming languageLecture Notes in Computer Science, 1984
- Approaches to PrototypingPublished by Springer Nature ,1984
- On hierarchies of abstract data typesActa Informatica, 1983
- Computer experiments with the REVE term rewriting system generatorPublished by Association for Computing Machinery (ACM) ,1983
- Canonical Forms and Unification.Published by Defense Technical Information Center (DTIC) ,1980
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980