zbMATH — the first resource for mathematics

Concept of the abstract program. (English) Zbl 1317.68032
Summary: The aim of this paper is to alter the abstract definition of the program of the theoretical programming model which has been developed at Eötvös Loránd University for many years in order to investigate methods that support designing correct programs. The motivation of this modification was that the dynamic properties of programs appear in the model. This new definition of the program gives a hand to extend the model with the concept of subprograms while the earlier results of the original programming model are preserved.

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)