Browsing LCS Technical Reports (1974 - 2003) by Author "Kapur, Deepak"
Now showing items 1-2 of 2
-
Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term Rewriting Systems
Guttag, John V.; Kapur, Deepak; Musser, David R. (1981-12)Starting from the seminal work of Knuth and Bendix, we develop several notions useful in the study of term rewriting systems. In particular we introduce the notions of "derived pairs" and "overlap closure" and show that ... -
Towards a Theory for Abstract Data Types
Kapur, Deepak (1980-06)A rigorous framework for studying immutable data types having nondeterministic operations and operations exhibiting exceptional behavior is developed. The framework embodies the view of a data type taken in programming ...