Skip to main content
Select Source:

HOL

HOL Abbrev. for high order logic. A system for specifying, designing, and verifying the design of digital systems; it was devised at Cambridge University, UK. The HOL system includes a theorem prover, an editor, and consistency checkers. The HOL specification language has basic types that handle n-bit digital numbers, the natural numbers, and the Boolean values true/false. More complex types can be built by binding together the basic types. A library of functions and list operators is used to perform transformations on variables.

Cite this article
Pick a style below, and copy the text for your bibliography.

  • MLA
  • Chicago
  • APA

"HOL." A Dictionary of Computing. . Encyclopedia.com. 16 Aug. 2017 <http://www.encyclopedia.com>.

"HOL." A Dictionary of Computing. . Encyclopedia.com. (August 16, 2017). http://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/hol

"HOL." A Dictionary of Computing. . Retrieved August 16, 2017 from Encyclopedia.com: http://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/hol

Hol

Hol Geology Holocene

Cite this article
Pick a style below, and copy the text for your bibliography.

  • MLA
  • Chicago
  • APA

"Hol." The Oxford Dictionary of Abbreviations. . Encyclopedia.com. 16 Aug. 2017 <http://www.encyclopedia.com>.

"Hol." The Oxford Dictionary of Abbreviations. . Encyclopedia.com. (August 16, 2017). http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/hol

"Hol." The Oxford Dictionary of Abbreviations. . Retrieved August 16, 2017 from Encyclopedia.com: http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/hol