The Community for Technology Leaders
Green Image
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.
79 ms
(Ver 3.3 (11022016))