Date of Award
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.
It has been claimed that pure functional programming languages facilitate the construction of complex programs and the subsequent proof of their correctness. In particular, claims have been made that pure functional languages are of value in VLSI specification and design where correctness is of importance. An investigation relevant to these claims has been carried out. A VLSI circuit specification transformer and an executable circuit specification language have been implemented in a pure lazy functional programming language. The advantages and disadvantages of using the functional programming paradigm in this application area are discussed. Source: Masters Abstracts International, Volume: 30-04, page: 1377. Chair: Richard A. Frost. Thesis (M.C.Sc.)--University of Windsor (Canada), 1991.
Fong, Wai S., "Use of functional programming paradigm in VLSI specification and design." (1991). Electronic Theses and Dissertations. 4474.