Files in this item

FilesDescriptionFormat

application/pdf

application/pdf9834729.pdf (8MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:Implicit Programming and the Logic of Constructible Duality
Author(s):Patterson, Anna L.
Doctoral Committee Chair(s):Vaughan Pratt; Agha, Gul A.
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Mathematics
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.
Issue Date:1998
Type:Text
Language:English
Description:185 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1998.
URI:http://hdl.handle.net/2142/81912
Other Identifier(s):(MiAaPQ)AAI9834729
Date Available in IDEALS:2015-09-25
Date Deposited:1998


This item appears in the following Collection(s)

Item Statistics