REST: Integrating Term Rewriting with Program Verification.

Zachary Grannan Niki Vazou Eva Darulova Alexander J. Summers

Published in: ECOOP (2022)

Keyphrases

term rewriting
theorem proving
theorem prover
rewrite systems
operational semantics
knuth bendix
logic programs
first order logic