- Title
- An integration of reduction and logic for programming languages
- Creator
- Wright, David A
- ThesisAdvisor
- Riordan, Denis
- Subject
- Logic programming languages
- Subject
- Programming languages (Electronic computers)
- 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, pdf
- Publisher
- Rhodes University, Faculty of Science, Computer Science
- Language
- English
- Rights
- Wright, David A
- Hits: 918
- Visitors: 1038
- Downloads: 128
Collections
RU Department of Computer Science
| Thumbnail | File | Description | Size | Format | |||
|---|---|---|---|---|---|---|---|
| View Details Download | SOURCEPDF | 4 MB | Adobe Acrobat PDF | View Details Download |