Transformational Derivation of a Garbage Collection Algorithm

Saved in:
Bibliographic Details
Published in:ACM transactions on programming languages and systems 1982-10, Vol.4 (4), p.650-667
Main Authors: Dewar, Robert B. K., Shirar, Micha, Weixelbaum, Elia
Format: Article
Language:English
Subjects:
Contextual software domains
Garbage collection
General programming languages
Language types
Logic
Memory management
Operating systems
Program reasoning
Semantics and reasoning
Software and its engineering
Software notations and tools
Software organization and properties
Theory of computation
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0164-0925
1558-4593
DOI:10.1145/69622.357188