Files in this item

FilesDescriptionFormat

application/pdf

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

Description

Title:Implementation of functional languages with state
Author(s):Springer, Jonathan Charles
Doctoral Committee Chair(s):Kamin, Samuel N.
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Computer Science
Abstract:Imperative and functional programming are two styles which have long been viewed as incompatible. In particular, the functional property of referential transparency could not be maintained in the face of destructive update, as found in assignment statements. Recent work, however, has suggested that the two may be integrated in a formal system which has both imperative features and referential transparency. These systems impose certain constraints on imperative features that allow the effects to be masked out, making them appear purely functional.
Despite the presence of these formal systems, many questions of practicality remain unanswered. In this thesis, we attempt to address these issues. In particular, we have created a language ALV, based on the formal system $\lambda\sb{var},$ and implemented ALV as a compiler. We have also extended a formal analysis known as abstract interpretation, typically applied to functional languages, to this language. Additionally, we have explored ways to make the use of imperative features more convenient, such as by relaxing the restrictions on the use of imperative constructs.
Issue Date:1996
Type:Text
Language:English
URI:http://hdl.handle.net/2142/21893
ISBN:9780591088922
Rights Information:Copyright 1996 Springer, Jonathan Charles
Date Available in IDEALS:2011-05-07
Identifier in Online Catalog:AAI9702672
OCLC Identifier:(UMI)AAI9702672


This item appears in the following Collection(s)

Item Statistics