Axiomatic approach to total correctness of programs

Acta Informatica

Volumn 3, Issue 3, 1974, Pages 243-263

  Manna, Zohar ^a   Pnueli, Amir ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

EID: 0015960562     PISSN: 00015903     EISSN: 14320525     Source Type: Journal    
DOI: 10.1007/BF00288637     Document Type: Article

References (5)

1. Assigning meanings to programs
2. Algorithm 65-Find
3. An axiomatic basis of computer programming
4. Proof of a program: FIND