Concept of the abstract program

TL;DR

This paper revises the abstract definition of programs in a theoretical programming model to include dynamic properties and subprograms, enhancing its capability to support correct program design.

Contribution

It introduces a new program definition that incorporates dynamic properties and subprograms, extending the existing theoretical model while preserving previous results.

Findings

Extended the model with subprograms

Preserved original model properties

Facilitated designing correct programs

Abstract

The aim of this paper is to alter the abstract definition of the program of the theoretical programming model which has been developed at Eotvos Lorand 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.