A Proof of the Schorr-Waite Algorithm

Publisher Website

1 January 1982

book chapter
Published by Springer Nature

p. 43-51
https://doi.org/10.1007/978-94-009-7893-5_5

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Data Structures and Correctness of Programs
Journal of the ACM, 1979
The Schorr-Waite graph marking algorithm
Acta Informatica, 1979
The correctness of the Schorr-Waite list marking algorithm
Acta Informatica, 1979
An efficient machine-independent procedure for garbage collection in various list structures
Communications of the ACM, 1967