Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm
- 1 July 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 4 (3) , 362-381
- https://doi.org/10.1145/357172.357175
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Safe procedural implementations of algebraic typesInformation Processing Letters, 1980
- The correctness of the Schorr-Waite list marking algorithmActa Informatica, 1979
- The Schorr-Waite graph marking algorithmPublished by Springer Nature ,1979
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Copying list structures using bounded workspaceCommunications of the ACM, 1974
- An efficient machine-independent procedure for garbage collection in various list structuresCommunications of the ACM, 1967