Auxiliary variables in partial correctness programming logics

DOI10.1016/0020-0190(89)90191-9zbMath0689.68009OpenAlexW1973624402MaRDI QIDQ582037

E. Robert McCurley

Publication date: 1989

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(89)90191-9

zbMATH Keywords

program transformationpartial correctnessAuxiliary variablesOwicki-Gries logicprogramming logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Cites Work

• Unnamed Item
• Auxiliary variables in data refinement
• A proof technique for communicating sequential processes
• An axiomatic proof technique for parallel programs
• An axiomatic basis for computer programming

This page was built for publication: Auxiliary variables in partial correctness programming logics