Controlling Object Allocation Using Creation Guards | Zendy

Cees Pierik | Zendy; Dave Clarke | Zendy; Frank S. de Boer | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Controlling Object Allocation Using Creation Guards

Author(s) -

Cees Pierik,

Dave Clarke,

Frank S. de Boer

Publication year - 2005

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-27882-6

DOI - 10.1007/11526841_6

Subject(s) - falsifiability , modular design , computer science , object (grammar) , resource allocation , distributed computing , resource (disambiguation) , programming language , artificial intelligence , computer network , philosophy , epistemology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research