Cheney's algorithm

Known as: Cheney algorithm, Copy Garbage Collection Algorithm, Stop and Copy Garbage Collection Algorithm 
Cheney's algorithm, first described in a 1970 ACM paper by C.J. Cheney, is a stop and copy method of tracing garbage collection in computer software… (More)
Wikipedia

Related topics

Related topics

8 relations
Breadth-first searchCHICKEN SchemeGraph traversalIdris
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Developer-Oriented Correctness Proofs - A Case Study of Cheney's Algorithm
This paper examines the problem of structuring proofs in functional software verification from a novel perspective. By aligning… (More)
  • figure 1
  • figure 2
Is this relevant?
2009
2009
Comparison of AnnAGNPS and SWAT model simulation results in USDA-CEAP agricultural watersheds in south-central Kansas
This study was conducted under the USDA-Conservation Effects Assessment Project (CEAP) in the Cheney Lake watershed in south… (More)
  • figure 1
  • table II
  • figure 2
  • table III
  • table IV
Is this relevant?
2008
2008
Pervasive Compiler Verification - From Verified Programs to Verified Systems
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler… (More)
  • figure 1
  • figure 5
  • figure 6
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Data Flow Analysis for Software Prefetching Linked Data Structures in Java
Abstract: In this paper, we describe an effective compile-time analysis for software prefetching in Java. Previous work in… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1998
1998
A Memory-Efficient Real-Time Non-Copying Garbage Collector
Garbage collectors used in embedded systems such as Personal Java and Inferno or in operating systems such as SPIN must operate… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • table 2
Is this relevant?
1994
1994
The Implementer’s Dilemma: A Mathematical Model of Compile Time Garbage Collection
Optimization by compile time garbage collection is one possible weapon in the functional language implementer's armoury for… (More)
Is this relevant?
1994
1994
A customisable memory management framework
Memory management is a critical issue for many large object-oriented applications, but in C++ only explicit memory reclamation… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Real-Time Replication Garbage Collection
We have implemented the first copying garbage collector that permits continuous unimpeded mutator access to the original objects… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Reciprocity and interchange of grooming and ‘support’ in captive chimpanzees
Reciprocity and interchange of grooming and coalition formation of captive chimpanzees, Pan troglodytes, were studied at a group… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Vocal development in vervet monkeys
Observations and playback experiments were used to study the development of grunts and alarm calls among free-ranging vervet… (More)
Is this relevant?