• DocumentCode
    1219904
  • Title

    Correction to ´Representational and denotational semantics of digital systems´

  • Author

    Boute, R.

  • Author_Institution
    Dept. of Comput. Sci., Nijmegen Univ., Netherlands
  • Volume
    39
  • Issue
    2
  • fYear
    1990
  • Firstpage
    288
  • 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;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/12.45218
  • Filename
    45218
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1219904