The Community for Technology Leaders
Green Image
<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>
representational semantics; denotational semantics; digital systems; variable bindings; quantification; lambda abstraction; integers; monotonicity; data structures; digital systems.
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
80 ms
(Ver 3.3 (11022016))