The Community for Technology Leaders
Green Image
ABSTRACT
<p>Three errors are corrected which appeared in a paper by the author. The corrections relate to variable bindings in quantification and lambda abstraction, the notation for subranges of the integers, and the definition of monotonicity.</p>
INDEX TERMS
representational semantics; denotational semantics; digital systems; variable bindings; quantification; lambda abstraction; integers; monotonicity; data structures; digital systems.
CITATION
R. Boute, "Correction to 'Representational and Denotational Semantics of Digital Systems'", IEEE Transactions on Computers, vol. 39, no. , pp. 288, February 1990, doi:10.1109/12.45218
97 ms
(Ver 3.1 (10032016))