TRSPEC: A Term Rewriting Based System for Algebraic Specifications.

Jürgen Avenhaus Benjamin Benninghofen Rüdiger Göbel Klaus Madlener

Published in: CADE (1986)

Keyphrases

term rewriting
operational semantics
theorem proving
theorem prover
knuth bendix
rewrite systems
formal semantics
mental states
data model
reactive systems
artificial intelligence
formal specification