Digitale Medien
Springer
BIT
6 (1966), S. 310-316
ISSN:
1572-9125
Schlagwort(e):
Algorithm
;
proof
;
computer
;
programming
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Mathematik
Notizen:
Abstract A constructive approach to the question of proofs of algorithms is to consider proofs that an object resulting from the execution of an algorithm possesses certain static characteristics. It is shown by an elementary example how this possibility may be used to prove the correctness of an algorithm written in ALGOL 60. The stepping stone of the approach is what is called General Snapshots, i.e. expressions of static conditions existing whenever the execution of the algorithm reaches particular points. General Snapshots are further shown to be useful for constructing algorithms.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1007/BF01966091
Permalink
|
Standort |
Signatur |
Erwartet |
Verfügbarkeit |