The Library
Effective solutions of recursive domain equations
Tools
Tools
Tools
Kanda, Akira (1980) Effective solutions of recursive domain equations. PhD thesis, University of Warwick.
|
PDF
WRAP_Theses_Kanda_1980.pdf - Submitted Version - Requires a PDF viewer. Download (5Mb) | Preview |
Official URL: http://webcat.warwick.ac.uk/record=b3140652~S15
Abstract
Solving recursive domain equations is one of the main concerns in the denotational semantics of programming languages, and in the algebraic specification of data types. Because we are to solve them for the specification of computable objects, effective solutions of them should be needed. Though general methods for obtaining solutions are well known, effectiveness of the solutions has not been explicitly investigated.* The main objective of this dissertation is to provide a categorical method for obtaining effective solutions of recursive domain equations. Thence we will provide effective models of denotational semantics and algebraic data types. The importance of considering the effectiveness of solutions is two-fold. First we can guarantee that for every denotational specification of a programming language and algebraic data type specification, implementation exists. Second, we have an instance of a computability theory where higher type computability and even infinite type computability can be discussed very smoothly.
*While this dissertation has been written, Plotkin and Smyth obtained an alternative to our method which worked only for effectively given categories with universal objects.
| Item Type: | Thesis (PhD) | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Library of Congress Subject Headings (LCSH): | Programming languages (Electronic computers) -- Semantics, Denotational semantics, Computer science -- Mathematics | ||||
| Official Date: | 1980 | ||||
| Dates: |
|
||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Thesis Type: | PhD | ||||
| Publication Status: | Unpublished | ||||
| Supervisor(s)/Advisor: | Park, David M. R. | ||||
| Sponsors: | Science Research Council (Great Britain) | ||||
| Format of File: | |||||
| Extent: | 163 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
