Files in this item
The imperative implementation of algebraic data types
Item metadata
dc.contributor.advisor | Dyckhoff, Roy | |
dc.contributor.advisor | Sannella, Don | |
dc.contributor.author | Thomas, Muffy | |
dc.coverage.spatial | 255 p. | en_US |
dc.date.accessioned | 2018-05-22T15:37:32Z | |
dc.date.available | 2018-05-22T15:37:32Z | |
dc.date.issued | 1988 | |
dc.identifier.uri | https://hdl.handle.net/10023/13471 | |
dc.description.abstract | The synthesis of imperative programs for hierarchical, algebraically specified abstract data types is investigated. Two aspects of the synthesis are considered: the choice of data structures for efficient implementation, and the synthesis of linked implementations for the class of ADTs which insert and access data without explicit key. The methodology is based on an analysis of the algebraic semantics of the ADT. Operators are partitioned according to the behaviour of their corresponding operations in the initial algebra. A family of relations, the storage relations of an ADT, Is defined. They depend only on the operator partition and reflect an observational view of the ADT. The storage relations are extended to storage graphs: directed graphs with a subset of nodes designated for efficient access. The data structures in our imperative language are chosen according to properties of the storage relations and storage graphs. Linked implementations are synthesised in a stepwise manner by implementing the given ADT first by its storage graphs, and then by linked data structures in the imperative language. Some circumstances under which the resulting programs have constant time complexity are discussed. | en_US |
dc.language.iso | en | en_US |
dc.publisher | University of St Andrews | |
dc.subject.lcc | QA76.9A2T7 | |
dc.subject.lcsh | Electronic data processing | en |
dc.title | The imperative implementation of algebraic data types | en_US |
dc.type | Thesis | en_US |
dc.contributor.sponsor | University of St Andrews | en_US |
dc.contributor.sponsor | Committee of Vice-Chancellors and Principals of the Universities of the United Kingdom | en_US |
dc.contributor.sponsor | Hilda Martindale Trust | en_US |
dc.contributor.sponsor | Institute of Chartered Secretaries and Administrators | en_US |
dc.type.qualificationlevel | Doctoral | en_US |
dc.type.qualificationname | PhD Doctor of Philosophy | en_US |
dc.publisher.institution | The University of St Andrews | en_US |
dc.publisher.department | Stirling University Computing Science Department | en_US |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.