Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification

Abstract

Basic specifications - signatures models sentences satisfaction proof system structuring specifications - fundamental semantics concepts module imports views parameterized modules module expressions built-in modules proof technologies - rewriting induction coinduction methodologies - nondeterminism concurrent object composition dynamic systems of objects applications in rewriting logic general small methodological advises.