Portal de Periódicos da CAPES

Proof of Algorithms by General Snapshots

1993; Springer Nature (Netherlands); Linguagem: Inglês

10.1007/978-94-011-1793-7_3

0924-0780

Peter Naur,

semigroups and automata theory

It is a deplorable consequence of the lack of influence of mathematical thinking on the way in which computer programming is currently being pursued, that the regular use of systematic proof procedures, or even the realization that such proof procedures exist, is unknown to the large majority of programmers. Undoubtedly, this fact accounts for at least a large share of the unreliability and the attendant lack of over-all effectiveness of programs as they are used to-day.