Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Verifying Object-Oriented Code Using Object Propositions Ligia Nistor Jonathan Aldrich
 

Summary: Verifying Object-Oriented Code Using Object Propositions
Ligia Nistor Jonathan Aldrich
School of Computer Science
Carnegie Mellon University
ָ ׺ ٺ
Abstract
The modular verification of object-oriented code is made dif-
ficult by the presence of aliasing. If there are multiple clients
depending on the properties of an object, one client may
break the property that others depend on. Knowledge of both
aliasing and predicates allows us to verify whether clients
and implementations are compliant with specifications.
We have developed a modular verification approach, by
introducing the novel abstraction object propositions, that
combines predicates and information about object aliasing.
In our methodology, even if shared data is modified, we
know that an object invariant specified by a client holds. This
allows two references pointing to the same object to have a
consistent view of the object. Our object invariant is different
than a class invariant such as the ones in ESC/Java, as in our

  

Source: Aldrich, Jonathan - School of Computer Science, Carnegie Mellon University

 

Collections: Computer Technologies and Information Sciences