Cooperation-based invariants for OO languages

R. Middelkoop, C. Huizing, R. Kuiper, E.J. Luit

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)


In general, invariants may depend on the state of other objects. The approach introduced in this paper allows this for objects of mutually visible classes, in a way that supports modular verification. To this end, dependencies are made explicit by cooperation. In particular, invariants expressing non-hierarchical object relations are supported. Furthermore, an inc-set allows a method to specify explicitly that it does not depend on the validity of a certain invariant. This way, it can be called even when that invariant is violated.
Originele taal-2Engels
TitelProceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS'05, Macao, October 24-25, 2005)
RedacteurenZ. Liu, L. Barbosa
StatusGepubliceerd - 2006

Publicatie series

NaamElectronic Notes in Theoretical Computer Science
ISSN van geprinte versie1571-0061

Vingerafdruk Duik in de onderzoeksthema's van 'Cooperation-based invariants for OO languages'. Samen vormen ze een unieke vingerafdruk.

Citeer dit