An integration of reduction and logic for programming languages

Title: An integration of reduction and logic for programming languages
Creator: Wright, David A
Subject: Logic programming languages
Subject: Programming languages (Electronic computers)
Date Issued: 1988
Date: 1988
Type: Thesis
Type: Masters
Type: MSc
Identifier: vital:4570
Identifier: http://hdl.handle.net/10962/d1002035
Description: A new declarative language is presented which captures the expressibility of both logic programming languages and functional languages. This is achieved by conditional graph rewriting, with full unification as the parameter passing mechanism. The syntax and semantics are described both formally and informally, and examples are offered to support the expressibility claim made above. The language design is of further interest due to its uniformity and the inclusion of a novel mechanism for type inference in the presence of derived type hierarchies
Format: 67 leaves
Format: pdf
Publisher: Rhodes University
Publisher: Faculty of Science, Computer Science
Language: English
Rights: Wright, David A

Collections

RU Department of Computer Science

		Thumbnail	File	Description	Size	Format
View Details Download			SOURCEPDF	PDF	4 MB	Adobe Acrobat PDF	View Details Download