Paper Info
Title
Program Algebra Over An Algebra
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.
Year
DOI
Venue
2012
10.2478/v10037-012-0037-6
FORMALIZED MATHEMATICS
Field
DocType
Volume
Term algebra,Discrete mathematics,Allen's interval algebra,Differential graded algebra,Algebra,Filtered algebra,Division algebra,Cellular algebra,Two-element Boolean algebra,Mathematics,Algebra representation
Journal
20
Issue
ISSN
Citations 
4
1898-9934
3
PageRank 
References 
Authors
0.87
2
1
Name
Order
Citations
PageRank
Grzegorz Bancerek19619.74