ALGEBRAIC SEMANTICS OF PROGRAMS WITH DYNAMIC STRUCTURE

In order to describe algebraic semantics of programs, which do not necessarily terminate, the operations of Σ algebra have been generalized to the case of partial functions on carrier sets. The coweak initial model and the weak terminal model have been proved to exist under certain conditions. However, the prevailing approach fails in the case where the static-structure of the program does not coincide with its dynamic structure. In this paper, a new approach is proposed, which can be used to describe algebraic semantics of programs with dynamic structures as goto statement and nested block. Thus the application of algebraic semantics is extended.