A PVS Theory for Term Rewriting Systems.

André Luiz Galdino Mauricio Ayala-Rincón

Published in: LSFA (2008)

Keyphrases

term rewriting systems
functional programs
software engineering
logic programs
distance function
theoretical framework
theorem proving
formal verification