Towards an Object-Oriented Progification Language

Abstract

To support formal verification of object-oriented programs we have proposed elsewhere an encoding in the type-theoretic proofchecker Lego. By treating programs and proofs uniformly, the encoding provides object-oriented proving principles including inheritance of proofs as analogues to object-oriented programming principles. Though the encoding is suitable… (More)
DOI: 10.1007/BFb0028396

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics