Title :
Correction to ´Representational and denotational semantics of digital systems´
Author_Institution :
Dept. of Comput. Sci., Nijmegen Univ., Netherlands
Abstract :
Three errors are corrected which appeared in a paper by the author (see ibid., vol.38, no.7, p.986-99 (1989)). The corrections relate to variable bindings in quantification and lambda abstraction, the notation for subranges of the integers, and the definition of monotonicity (in Section V).<>
Keywords :
data structures; digital systems; denotational semantics; digital systems; integers; lambda abstraction; monotonicity; quantification; representational semantics; variable bindings; Circuit analysis; Circuit faults; Circuit testing; Convergence; Digital integrated circuits; Digital systems; Equations; Error analysis; Linear feedback shift registers; Polynomials;
Journal_Title :
Computers, IEEE Transactions on
