By Topic

Representational and denotational semantics of digital systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Boute, R. ; Dept. of Comput. Sci., Nijmegen Univ., Netherlands

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 can be factored out and reduced considerably. This is demonstrated by a functional recast of the major parts of digital systems theory. Since the emphasis of this study is on the method (transformational reasoning) rather than on new system concepts, examples are chosen from familiar areas. However, some new results are obtained

Published in:

Computers, IEEE Transactions on  (Volume:38 ,  Issue: 7 )