Anzeige
Erschienen in:
2009 | OriginalPaper | Buchkapitel
Object-Oriented Programs
Erschienen in: Verification of Sequential and Concurrent Programs
Verlag: Springer London
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In This Chapter we study the verification of object-oriented programs. We focus on the following main characteristics of objects:
objects possess (and
encapsulate
) their own local variables,
objects interact via
method
calls,
objects can be dynamically
created
.
In contrast to the formal parameters of procedures and the local variables of block statements which only exist
temporarily
, the local variables of an object exist
permanently
. To emphasize the difference between these temporary variables and the local variables of an object, the latter are called
instance
variables. The local state of an object is a mapping that assigns values to its instance variables. Each object represents its local state by a
pointer
to it.
Encapsulation means
that the instance variables of an object cannot be directly accessed by other objects; they can be accessed only via method calls of the object.