Towards an object-oriented progification language

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-or...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Naraschewski, Wolfgang
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Colour Point Computer science control theory systems Correctness Proof Exact sciences and technology Formal Verification Method Invocation Programming languages Representation Type Software
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!