Inductive methods for reasoning about abstract data types
Stephen J. Garland, John V. Guttag · 1988
Rewriting techniques have been used to reason about a variety of topics related to programming languages, e.g., abstract data types, Petri Nets, FP programs, and data bases. They have also been used in the implementation and definition of a variety of programming languages.