Title: Controlling object allocation using creation guards
Authors: Pierik, Cees ×
Clarke, Dave
de Boer, Frank #
Issue Date: Aug-2005
Publisher: Springer
Series Title: Lecture notes in computer science vol:3582 pages:59-74
Conference: Formal Methods edition:2005 location:Newcastle, UK date:18-22 July 2005
Abstract: Sharing of objects between different modules is often necessary to meet speed and resource demands. The invariants that describe properties of shared objects are difficult to maintain because they can be falsifiable by object allocation. This paper introduces creation guards to
obtain a sound and modular methodology that supports such invariants.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Non-KU Leuven Association publications
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
fm05.pdfMain article Published 190KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science