A Larch Specification of Copying Garbage Collection

Abstract

Garbage collection (GC) is an important part of many language implementations. One of the most important garbage collection techniques is copying GC. This paper consists of an informal but abstract description of copying collection, a formal specification of copying collection written in the Larch Shared Language and the Larch/C Interface Language, a simple implementation of a copying collector written in C, an informal proof that the implementation satisfies the specification, and a discussion of how the specification applies to other types of copying GC such as generational copying collectors. Limited familiarity with copying GC or Larch is needed to read the specification.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1992
Accession Number
ADA259878

Entities

People

  • Scott Nettles

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Accumulators
  • Algorithms
  • Ambiguity
  • Coding
  • Computer Science
  • Demographic Cohorts
  • Guarantees
  • Language
  • Mutations
  • Notation
  • Personnel Management
  • Scanning
  • Semantics
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Electronics Engineering
  • Game Theory.
  • Software Engineering.