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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11526841_6 | FM |
Keywords | Field | DocType |
shared object,object allocation,different module,modular methodology,controlling object allocation,creation guard,resource demand,object oriented programming,specification,verification,invariants | Programming language,Object-oriented programming,Computer science,Simulation,Falsifiability,Theoretical computer science,Invariant (mathematics),Modular design,Formal methods,Software development | Conference |
Volume | ISSN | ISBN |
3582 | 0302-9743 | 3-540-27882-6 |
Citations | PageRank | References |
9 | 0.62 | 12 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Cees Pierik | 1 | 59 | 3.58 |
Dave Clarke | 2 | 416 | 26.19 |
Frank S. de Boer | 3 | 2013 | 159.02 |