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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
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
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
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
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
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
Optimization by compile time garbage collection is one possible weapon in the functional language implementer's armoury for… (More)
Is this relevant?
1994
1994
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
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 coalition formation of captive chimpanzees, Pan troglodytes, were studied at a group… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Observations and playback experiments were used to study the development of grunts and alarm calls among free-ranging vervet… (More)
Is this relevant?