zbMATH — the first resource for mathematics

Abstract levels of programming theorems. (English) Zbl 1307.68026
Summary: Three abstract levels of programming theorems are introduced. These levels depend on the form of the sequence of the elements that are produced by a programming theorem. We are going to investigate the difference between the solutions of the same problem if these solutions are derived from altering abstract levels of the same programming theorem. One of the famous programming theorems, the maximum selection, is chosen as an example, all of its three versions will be presented, and their usage will be shown in a case study.
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)