University of Illinois Urbana-Champaign

Implicit Programming and the Logic of Constructible Duality

Patterson, Anna L.

This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.

Permalink

https://hdl.handle.net/2142/81912

Description

Title
Implicit Programming and the Logic of Constructible Duality
Author(s)
Patterson, Anna L.
Issue Date
1998
Doctoral Committee Chair(s)
  • Vaughan Pratt
  • Agha, Gul A.
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Keyword(s)
Mathematics
Language
eng
Abstract
Implicit programming adds a novel definitional mechanism that allows functions to be defined implicitly. This new programming feature is especially useful for programming with co-recursively defined data-types such as circular lists.
Graduation Semester
1998
Type of Resource
text
Permalink
http://hdl.handle.net/2142/81912

Owning Collections

Graduate Dissertations and Theses at Illinois PRIMARY
Graduate Theses and Dissertations at Illinois
Dissertations and Theses - Computer Science
Dissertations and Theses from the Dept. of Computer Science