Date of Award

1991

Degree Type

Thesis

Degree Name

M.C.Sc.

Department

Computer Science

First Advisor

Frost, R.

Keywords

Computer Science.

Rights

CC BY-NC-ND 4.0

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