Using Term Rewriting to Verify Software.

Sergio Antoy John D. Gannon

Published in: IEEE Trans. Software Eng. (1994)

Keyphrases

term rewriting
theorem proving
theorem prover
software systems
software tools
operational semantics
knuth bendix
software development
rewrite systems
source code
software design
databases
artificial intelligence
database systems
cooperative
modeling language