Abstraction, Specification and Implementation Techniques, with an Application to Garbage Collection |
Contents
1 | 83 |
A STORAGE MANAGEMENT MODEL | 115 |
A SURVEY OF GARBAGE COLLECTION | 147 |
Copyright | |
9 other sections not shown
Common terms and phrases
abstract machine accessor Action ADD,1,w COPY ALGOL 68 Algorithm G Algorithm GNK.DTER assertions atomic object block bookkeeping cell Chapter COLLECT GARBAGE collector compacting garbage compaction algorithms computer science concept cont A(Y cont LOC(X cont(cell cont(cell(b contained COPY,b,w dangling pointers data structures dead areas deallocated defined definition denoted derived described direct components discussed dom(A dynamic system efficient environ(R example Figure free storage GARBAGE and COMPACT garbage collection algorithms graph implementation implies integer ISBN 90 LABEL left A(X locale machine code mapping mathematical MIAM moving phase node marking obj(val pointers precondition problem detail programming language reachable objects reachable reference object representation scalar object scope simple solution space overhead specification status storage management problem storage management system structured object subobject Subsection system invariants target TOP(S traced transformation unreachable updating phase variable visited Xe branches