An algorithm for the automatic verification of inheritance

An algorithm for the automatic verification of inheritance

In this paper we introduce the concept of correct inheritance and establish the appropriate formal conditions that must be satisfied by the subclass. Based on that, we develop a formal recursive algorithm for automatic verification of inheritance. The solution is based solely on the first-order pred...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Kupusinac, A., Malbaski, D.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
inheritance
invariant
Java
Object oriented programming
program correctness
program verification
Programming profession
Semantics
Vectors
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this paper we introduce the concept of correct inheritance and establish the appropriate formal conditions that must be satisfied by the subclass. Based on that, we develop a formal recursive algorithm for automatic verification of inheritance. The solution is based solely on the first-order predicate logic.
DOI:10.1109/TELFOR.2011.6143810