Automatic inference of invariants in objects with variable structure

Automatic inference of invariants in objects with variable structure

This paper considers automatic inference of invariants in objects with variable structure. We say for an object that it has variable structure if a part of its logical memory space is on the heap and is linked with the host with a reference (pointer). We infer the strong invariant for the linked lis...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Malbaski, D., Kupusinac, A.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Computer languages
Containers
Finite element methods
invariants
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:This paper considers automatic inference of invariants in objects with variable structure. We say for an object that it has variable structure if a part of its logical memory space is on the heap and is linked with the host with a reference (pointer). We infer the strong invariant for the linked list, provided that our approach is applicable to all container classes.
DOI:10.1109/TELFOR.2011.6143809