Degree Type

Dissertation

Date of Award

1988

Degree Name

Doctor of Philosophy

Department

Electrical and Computer Engineering

First Advisor

James A. Davis

Second Advisor

Arthur V. Pohm

Abstract

A set of new combinator families and a new list representation are proposed in this dissertation. Each of the proposed combinators expresses certain commonly occurring combinations of lists as functions of those lists or elements of lists. Most of these combinators reshape the structure of the input list so that its elements can be manipulated concurrently. The reduction semantics and proofs of correctness for these combinators are given in the form of strings of already known combinators. It has been shown that the proposed combinators and list structure make the execution of functional programs faster on both sequential and parallel architectures.

DOI

https://doi.org/10.31274/rtd-180813-9330

Publisher

Digital Repository @ Iowa State University, http://lib.dr.iastate.edu/

Copyright Owner

Syed Mansoor Sarwar

Language

en

Proquest ID

AAI8825448

File Format

application/pdf

File Size

92 pages

Share

COinS