The correctness of the Schorr-Waite list marking algorithm
- 1 January 1979
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 11 (3) , 211-221
- https://doi.org/10.1007/bf00289067
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- The Schorr-Waite graph marking algorithmActa Informatica, 1979
- Is “sometime” sometimes better than “always”?Communications of the ACM, 1978
- Proof of correctness of data representationsActa Informatica, 1972
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969
- An efficient machine-independent procedure for garbage collection in various list structuresCommunications of the ACM, 1967
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967