Issue No. 07 - July (1989 vol. 38)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.30850
The input/output transformation effected by digital systems can be considered as concrete realizations of abstract mathematical functions. The mappings between abstract functions and concrete realizations, if kept explicit throughout the formulation, constitute the necessary 'handles' (embodied by function definitions) for transformational reasoning about digital systems. Deductive reasoning ca
representational semantics; denotational semantics; digital systems; input/output transformation; abstract mathematical functions; mappings; function definitions; functional recast; digital arithmetic; digital systems; number theory.
R. Boute, "Representational and Denotational Semantics of Digital Systems," in IEEE Transactions on Computers, vol. 38, no. , pp. 986-999, 1989.