The Library
Aspects of functional programming
Tools
Meehan, Gary (1999) Aspects of functional programming. PhD thesis, University of Warwick.
|
Text
WRAP_thesis_Meehan_1999.pdf - Submitted Version Download (8Mb) | Preview |
Official URL: http://webcat.warwick.ac.uk/record=b1370417~S1
Abstract
This thesis explores the application of functional programming in new areas and its
implementation using new technologies. We show how functional languages can be
used to implement solutions to problems in fuzzy logic using a number of languages:
Haskell, Ginger and Aladin. A compiler for the weakly-typed, lazy language Ginger
is developed using Java byte-code as its target code. This is used as the inspiration
for an implementation of Aladin, a simple functional language which has two novel
features: its primitives are designed to be written in any language, and evaluation
is controlled by declaring the strictness of all functions. Efficient denotational and
operational semantics are given for this machine and an implementation is devel-
oped using these semantics. We then show that by using the advantages of Aladin
(simplicity and strictness control) we can employ partial evaluation to achieve con-
siderable speed-ups in the running times of Aladin programs.
Item Type: | Thesis (PhD) |
---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software |
Library of Congress Subject Headings (LCSH): | Functional programming (Computer science) , Functional programming languages, Fuzzy logic , Haskell (Computer program language) |
Official Date: | August 1999 |
Institution: | University of Warwick |
Theses Department: | Computer Science |
Thesis Type: | PhD |
Publication Status: | Unpublished |
Supervisor(s)/Advisor: | Joy, Mike |
Extent: | xiii, 242 leaves : illustrations |
Language: | eng |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |
Downloads
Downloads per month over past year