Assertion-based encapsulation, object invariants and simulations

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

7 Scopus citations

Abstract

In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial paper surveys recent progress using auxiliary state (ghost fields) to describe and achieve encapsulation. Encapsulation is assessed in terms of modular reasoning about invariants and simulations.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages251-273
Number of pages23
DOIs
StatePublished - 2005
Event3rd International Symposium on Formal Methods for Components and Objects, FMCO 2004 - Leiden, Netherlands
Duration: 2 Nov 20045 Nov 2004

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3657 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference3rd International Symposium on Formal Methods for Components and Objects, FMCO 2004
Country/TerritoryNetherlands
CityLeiden
Period2/11/045/11/04

Fingerprint

Dive into the research topics of 'Assertion-based encapsulation, object invariants and simulations'. Together they form a unique fingerprint.

Cite this