This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Correction to 'Representational and Denotational Semantics of Digital Systems'
February 1990 (vol. 39 no. 2)
pp. 288

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.

[1] R. Boute,IEEE Trans. Comput., vol. 38, no. 7, pp. 986-999, July 1989.

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. 2, pp. 288, Feb. 1990, doi:10.1109/12.45218
Usage of this product signifies your acceptance of the Terms of Use.