## Abstraction, specification and implementation techniques, with an application to garbage collection |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

abstract data types abstract machine accessors ALGOL 68 algorithms and data assertions atomic object block branches branches(X cells Chapter COLLECT GARBAGE collector compaction algorithms complete lattice computer science concept concrete construct cont(LOC(X contains COPY,b,w correctness-preserving dangling pointers data structures dead areas deallocated defined definition degree(X denoted derived described direct components discussed dom(k dynamic system efficient environ(R example fact Figure free storage garbage collection algorithms generator(B graph implementation implies integer introduced Invariant 5.9 isolated problems kind(L LABEL left(S LISP mapping mathematical method MIAM moving phase nondeterministic nondeterministic algorithm obj(vaKB pointers precondition primitive operations problem detail programming language proof reachable objects regular languages replacements representation restrictions scope(L Section simple size(A solution space overhead specification status status(L storage management problem storage management system structured object subobject Subsection system invariants theory traced transformations unreachable updating phase visited