On the use of history variables

DOI10.1007/BF00289587zbMath0446.68007OpenAlexW2004165456MaRDI QIDQ1145994

Maurice Clint

Publication date: 1981

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00289587

zbMATH Keywords

structured programmingcorrectness of programsproofs of correctnessghost variableshistory variables

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• The use of ghost variables and virtual programming in the documentation and verification of programs
• A Proof System for Communicating Sequential Processes
• A Continued Fraction Expansion for a Generalization of Dawson's Integral
• Communicating sequential processes
• An axiomatic basis for computer programming

This page was built for publication: On the use of history variables