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

Full description

Saved in:
Bibliographic Details
Main Authors: Kupusinac, A., Malbaski, D.
Format: Conference Proceeding
Language:English
Subjects:
inheritance
invariant
Java
Object oriented programming
program correctness
program verification
Programming profession
Semantics
Vectors
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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