An Extension to Total Correctness

Data Refinement ◽

10.1017/cbo9780511663079.009 ◽

1998 ◽

pp. 146-180

Keyword(s):

Total Correctness

Download Full-text

Proving total correctness of recursive procedures

Information and Computation ◽

10.1016/0890-5401(90)90037-i ◽

1990 ◽

Vol 84 (2) ◽

pp. 129-162 ◽

Author(s):

Pierre America ◽

Frank de Boer

Keyword(s):

Total Correctness ◽

Recursive Procedures

Download Full-text

On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-45260-5_1 ◽

2020 ◽

pp. 3-18

Author(s):

Patrick Cousot

Keyword(s):

Denotational Semantics ◽

Total Correctness ◽

Correctness Of Programs

Download Full-text

A Denotational Semantics for Total Correctness of Sequential Exact Real Programs

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/978-3-540-79228-4_34 ◽

2008 ◽

pp. 388-399 ◽

Author(s):

Thomas Anberrée

Keyword(s):

Denotational Semantics ◽

Total Correctness

Download Full-text

Axiomatic Approach to Total Correctness of Programs

10.21236/ad0767335 ◽

1973 ◽

Author(s):

Zohar Manna ◽

Amir Pnueli

Keyword(s):

Axiomatic Approach ◽

Total Correctness ◽

Correctness Of Programs

Download Full-text

A formalized proof system for total correctness of while programs

Lecture Notes in Computer Science - International Symposium on Programming ◽

10.1007/3-540-11494-7_3 ◽

1982 ◽

pp. 26-36 ◽

Author(s):

J. A. Bergstra ◽

J. W. Klop

Keyword(s):

Proof System ◽

Total Correctness

Download Full-text

Total correctness of CSP programs

Acta Informatica ◽

10.1007/bf00289498 ◽

1986 ◽

Vol 23 (2) ◽

pp. 193-215 ◽

Author(s):

N. Soundararajan

Keyword(s):

Total Correctness

Download Full-text

A Structure-directed Total Correctness Proof Rule for Recursive Procedure Calls

The Computer Journal ◽

10.1093/comjnl/29.6.531 ◽

1986 ◽

Vol 29 (6) ◽

pp. 531-537 ◽

Author(s):

P. Pandya

Keyword(s):

Correctness Proof ◽

Recursive Procedure ◽

Total Correctness ◽

Download Full-text

Specifications, programs, and total correctness

Science of Computer Programming ◽

10.1016/s0167-6423(98)00027-6 ◽

1999 ◽

Vol 34 (3) ◽

pp. 191-205 ◽

Author(s):

Eric C.R. Hehner

Keyword(s):

Total Correctness

Download Full-text

On the total correctness of nondeterministic programs

Theoretical Computer Science ◽

10.1016/0304-3975(81)90038-4 ◽

1981 ◽

Vol 13 (2) ◽

pp. 175-192 ◽

Author(s):

David Harel

Keyword(s):

Total Correctness

Download Full-text

Consistent and complete proof rules for the total correctness of parallel programs

10.1109/sfcs.1978.11 ◽

1978 ◽

Author(s):

Lawrence Flon ◽

Norihisa Suzuki

Keyword(s):

Parallel Programs ◽

Complete Proof ◽

Total Correctness ◽

Download Full-text