Making the world safe for garbage collection

Authors:
Susan Owicki
Affiliations:
Stanford University
Venue:
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year:
1981

Citing 5
Cited 4

On-the-fly garbage collection: an exercise in cooperation

Communications of the ACM
Early experience with Mesa

Communications of the ACM
An exercise in proving parallel programs correct

Communications of the ACM
An efficient, incremental, automatic garbage collector

Communications of the ACM
Multiprocessing compactifying garbage collection

Communications of the ACM

A structural view of the Cedar programming environment

ACM Transactions on Programming Languages and Systems (TOPLAS)
Garbage Collection of Linked Data Structures

ACM Computing Surveys (CSUR)
The structure of Cedar

SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Safe, efficient garbage collection for C++

CTEC'94 Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference - Volume 6

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes the formal specifications of garbage collection in the programming language Cedar Mesa. They were developed as part of the process of identifying a safe subset of Mesa for which garbage collection was possible. The purpose of the specifications was to provide a precise definition of safety, along with criteria for checking the safety of proposed language features. Thus the specifications had to characterize the "invisibility" of the collector, as well as describe the services it provides. A beneficial effect of the specification effort was that the process of constructing the specifications led to a number of discoveries that improved the quality of the language.