Advertisement

Development of the Schorr-Waite algorithm

  • Michael Griffiths
III. Program Development By Transformation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 69)

Keywords

Garbage Collection Recursive Call Successor Function Reverse Pointer Dummy Node 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F.L. BAUER, K. SAMELSON (eds.) Language Hierarchies and Interfaces Springer Verlag, Lecture Notes in Computer Science, 46, 1976Google Scholar
  2. E.W. DIJKSTRA Guarded Commands, Non-Determinacy and a Calculus for the Derivation of Programs in [Bauer, Samelson 1976]Google Scholar
  3. D. GRIES The Schorr-Waite Marking Algorithm This volumeGoogle Scholar
  4. M. GRIFFITHS Program Production by Successive Transformation in [Bauer, Samelson 1976]Google Scholar
  5. P.C. SCHOLL Introduction à la Récursivité et aux Arbres Université de Grenoble, July 1977Google Scholar
  6. H. SCHORR, W.M. WAITE An Efficient Machine Independent Procedure for Garbage Collection in Various List Structures CACM, Aug. 1967Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Michael Griffiths
    • 1
  1. 1.Centre de Recherche en Informatique de NancyChateau du MontetVandoeuvre-les-NancyFrance

Personalised recommendations