Skip navigation
Skip navigation

Second-order principles in specification languages for object-oriented programs

Beckert, Bernhard; Trentleman, Kerry


Within the setting of object-oriented program specification and verification, pointers and object references can be considered as relations between the elements of a data structure. When we specify properties of these data structures, we often describe properties of relations. Hence it is important to be able to talk about relations and their properties when specifying object-oriented programs or programs with pointers. Many interesting properties of relations such as transitive closure,...[Show more]

CollectionsANU Research Publications
Date published: 2005
Type: Book chapter
DOI: 10.1007/11591191_12


There are no files associated with this item.

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator