Date of Award
1991
Publication Type
Master Thesis
Degree Name
M.C.Sc.
Department
Computer Science
Keywords
Computer Science.
Supervisor
Frost, R.
Rights
info:eu-repo/semantics/openAccess
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Abstract
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.
Recommended Citation
Fong, Wai S., "Use of functional programming paradigm in VLSI specification and design." (1991). Electronic Theses and Dissertations. 4474.
https://scholar.uwindsor.ca/etd/4474