Date of Award

1991

Publication Type

Master Thesis

Degree Name

M.C.Sc.

Department

Computer Science

First Advisor

Frost, R.

Keywords

Computer Science.

Rights

info:eu-repo/semantics/openAccess

Creative Commons License

Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 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.

Share

COinS