Verification of programs that destructively manipulate data

This publication has 11 references indexed in Scilit:

• Program derivation through transformations: The evolution of list-copying algorithms
  Science of Computer Programming, 1986
• Varieties of ”If-Then-Else“
  SIAM Journal on Computing, 1983
• Analysis of pointer “rotation”
  Communications of the ACM, 1982
• The Schorr-Waite marking algorithm revisited
  Information Processing Letters, 1980
• The Schorr-Waite graph marking algorithm
  Acta Informatica, 1979
• The correctness of the Schorr-Waite list marking algorithm
  Acta Informatica, 1979
• Is “sometime” sometimes better than “always”?
  Communications of the ACM, 1978
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• An efficient machine-independent procedure for garbage collection in various list structures
  Communications of the ACM, 1967
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967