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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Pierik, C., Clarke, D., & De Boer, F. S. (2005). Controlling object allocation using creation guards. In Lecture Notes in Computer Science (Vol. 3582, pp. 59–74). Springer Verlag. https://doi.org/10.1007/11526841_6
Mendeley helps you to discover research relevant for your work.