<abstract xmlns="http://www.w3.org/1999/xhtml"><p>We introduce an algebra with free variables, an algebra with undefined values, a program algebra over a term algebra, an algebra with integers, and an algebra with arrays. Program algebra is defined as universal algebra with assignments. Programs depend on the set of generators with supporting variables and supporting terms which determine the value of free variables in the next state. The execution of a program is changing state according to successor function using supporting terms.</p></abstract>

We introduce an algebra with free variables, an algebra with undefined values, a program algebra over a term algebra, an algebra with integers, and an algebra with arrays. Program algebra is defined as universal algebra with assignments. Programs depend on the set of generators with supporting variables and supporting terms which determine the value of free variables in the next state. The execution of a program is changing state according to successor function using supporting terms.

Program Algebra over an Algebra

Faculty of Computer Science ,Białystok Technical University, Wiejska 45A, 15-351 Białystok, Poland

Formalized Mathematics

{"article-title":"Program Algebra over an Algebra"}

We introduce an algebra with free variables, an algebra with undefined values, a program algebra over a term algebra, an algebra with integers, and an algebra...

Program Algebra over an Algebra

Online veröffentlicht: 02. Feb. 2013

Seitenbereich: 309 - 341

DOI: https://doi.org/10.2478/v10037-012-0037-6

This content is open access.