Degree Type

Dissertation

Date of Award

1991

Degree Name

Doctor of Philosophy

Department

Computer Science

First Advisor

David A. Schmidt

Second Advisor

Donald Pigozzi

Abstract

The detection of a property called "single-threading" in functional programs or denotational language definitions can be exploited to produce a more efficient implementation of the program or language, by allowing a program variable or semantic domain to be implemented by a global data structure. Earlier work by David A. Schmidt has given sufficient criteria for the detection of the single-threading property in [lambda]-calculus expressions. We extend that work by giving criteria for single-threading detection in combinator notations;Two sets of single-threading criteria are given: one for a particular combinator language, TML, and the other for a generalized combinator notation. In both cases, proofs are given which demonstrate the soundness of the criteria. We also discuss some reasons for the differences in the two sets of criteria;In order to evaluate the usefulness of single-threading detection and the associated globalization transformation in practice, a testbed implementation of the TML criteria is being programmed, using the PSI/DAOS compiler-generation system developed at Aalborg University. Some preliminary results from this work are discussed.

DOI

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

Publisher

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

Copyright Owner

Dean Roger Lass

Language

en

Proquest ID

AAI9126211

File Format

application/pdf

File Size

121 pages

Share

COinS