A Theory of Objects pp 141-152 | Cite as
First-Order Imperative Calculi
Chapter
Abstract
Continuing the study of imperative calculi, we present a first-order type system with subtyping for the untyped calculus impς of Chapter 10. The subject reduction proof for this system illustrates a basic proof technique for imperative operational semantics.
Keywords
Induction Hypothesis Operational Semantic Object Type Functional Setting Store Type
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
Copyright information
© Springer Science+Business Media New York 1996