@inproceedings{6fd55e9504414c7b9e7f3f418641b1ea,
title = "Assertion-based encapsulation, object invariants and simulations",
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.",
author = "Naumann, {David A.}",
year = "2005",
doi = "10.1007/11561163_11",
language = "English",
isbn = "3540291318",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "251--273",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
note = "3rd International Symposium on Formal Methods for Components and Objects, FMCO 2004 ; Conference date: 02-11-2004 Through 05-11-2004",
}