Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution.

Alfons Geser Heinrich Hußmann

Published in: ESOP (1986)

Keyphrases

term rewriting
operational semantics
theorem proving
theorem prover
rewrite systems
control program
high level
high resolution
programming language
formal specification
knuth bendix
case study
low resolution
production system
specification language