A Term-Rewriting Semantics for Imperative Style Programming.

David A. Plaisted Lee Barnett

Published in: CoRR (2020)

Keyphrases

term rewriting
operational semantics
rewrite systems
formal semantics
theorem prover
theorem proving
knuth bendix
data model
programming language
programming environment
logic programming
semantic information
first order logic
inference rules
databases
model checking
training data