Search citation statements

Paper Sections

Select...

3

1

Citation Types

0

5

0

1

Year Published

1981

2012

Publication Types

Select...

3

Relationship

2

1

Authors

Journals

(6 citation statements)

0

5

0

1

“…The problem of finding a natural Hoare's proof system for this class of programs is offered in [36] as a challenge to researchers in this area. It should be noted that the characterization theorem does not apply here, since not all programs in this class are ~so-bounded.…”

confidence: 99%

“…The problem of finding a natural Hoare's proof system for this class of programs is offered in [36] as a challenge to researchers in this area. It should be noted that the characterization theorem does not apply here, since not all programs in this class are ~so-bounded.…”

confidence: 99%

“…It should be noted that the characterization theorem does not apply here, since not all programs in this class are ~so-bounded. An example of such a program that is not ~so-bounded is given in [36,45]. There is as yet no proof system available in which the partial correctness of this program can be studied.…”

confidence: 99%

“…Ever since its introduction in [14] the assertional method has been one of the main approaches to program verification. Initially proposed for the modest class of while programs, it has been extended to several more realistic classes of programs, including recursive programs (starting with [15]), programs with nested procedure declarations (see [19]), parallel programs (starting with [23] and [24]), and distributed programs based on synchronous communication (see [4]). At the same time research on the theoretical underpinnings of the proposed proof systems resulted in the introduction in [10] of the notion of relative completeness and in the identification of the inherent incompleteness for a comprehensive ALGOL-like programming language (see [9]).…”

confidence: 99%

“…Die Grenzen dieser Methode wurden erstmalig von Clarke anhand einer Programmiersprache mit einem reichhaltigen, ALGOL-artigen Prozedurkonzept aufgezeigt [16]. Weitere Untersuchungen dazu finden sich in [23,48,63,64].…”

unclassified