The Schorr-Waite marking algorithm revisited

This publication has 9 references indexed in Scilit:

• Studies in abstract/concrete mappings in proving algorithm correctness
  Published by Springer Nature ,1979
• The Schorr-Waite graph marking algorithm
  Acta Informatica, 1979
• The correctness of the Schorr-Waite list marking algorithm
  Acta Informatica, 1979
• The evolution of list-copying algorithms and the need for structured program verification
  Published by Association for Computing Machinery (ACM) ,1979
• A note on the nonrecursive traversal of binary trees
  The Computer Journal, 1977
• Structured Programming with go to Statements
  ACM Computing Surveys, 1974
• Depth-First Search and Linear Graph Algorithms
  SIAM Journal on Computing, 1972
• Proving Properties of Programs by Structural Induction
  The Computer Journal, 1969
• An efficient machine-independent procedure for garbage collection in various list structures
  Communications of the ACM, 1967