Journal article
Algebraic Composition of Function Tables
Abstract
Abstract. In general, a program is composed of smaller program segments using composition, conditional constructs or loop constructs. We present a theory which enables us to algebraically define and compute the composition of conditional expressions. The conditional expressions are represented using tabular notation. The formal definition of the composition allows us to compute the close form representation of the composition of tabular …
Authors
von Mohrenschildt M
Journal
Formal Aspects of Computing, Vol. 12, No. 1, pp. 41–51
Publisher
Association for Computing Machinery (ACM)
Publication Date
October 2000
DOI
10.1007/s001650070035
ISSN
0934-5043