The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (1989 vol.38)
pp: 986-999
ABSTRACT
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
INDEX TERMS
representational semantics; denotational semantics; digital systems; input/output transformation; abstract mathematical functions; mappings; function definitions; functional recast; digital arithmetic; digital systems; number theory.
CITATION
R.T. Boute, "Representational and Denotational Semantics of Digital Systems", IEEE Transactions on Computers, vol.38, no. 7, pp. 986-999, July 1989, doi:10.1109/12.30850
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool