IMPLEMENTATION OF THE FUNCTIONAL ARCHITECTURE - TIM
| dc.contributor.author | Hermann, Michael Johann | eng |
| dc.date.accessioned | 2008-05-20T23:30:12Z | |
| dc.date.available | 2008-05-20T23:30:12Z | |
| dc.date.computerscience | 1999-05-27 | eng |
| dc.date.issued | 1992-05-01 | eng |
| dc.description.abstract | Functional languages have enjoyed increasing popularity over the last few years, due to their advantage from the viewpoint of user, verifier, and implementer. There has likewise been an increase in the demand for special purpose architectures to efficiently execute them. The abstract functional architecture TIM (Three Instruction Machine) is a developmental culmination in both sides of the dichotomy formed by notational representation for functional languages and procedural evaluation for functional architecture. TIM was proposed by Jon Fairbairn and Stuart Wray at Cambridge University, and is a compact and efficient frame-based graph reduction processor which executes SuperCombinators. This thesis is an attempt to give TIM a concrete architectural form, with particular emphasis on the general design issues and methods of attack to be addressed in designing a functional architecture for practical application. Improvements in speed, efficiency, and implementability of the abstract machine are made, via changes to the organisation of memory, the structure of physical objects, and the contents of the instruction set. Finally, I make some arguments as to the accessibility of the architecture, its merits as a research tool and a representative of a new sub-class of functional machine. | eng |
| dc.description.notes | We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at digitize@ucalgary.ca | eng |
| dc.identifier.department | 1992-475-13 | eng |
| dc.identifier.doi | http://dx.doi.org/10.11575/PRISM/31321 | |
| dc.identifier.uri | http://hdl.handle.net/1880/46541 | |
| dc.language.iso | Eng | eng |
| dc.publisher.corporate | University of Calgary | eng |
| dc.publisher.faculty | Science | eng |
| dc.subject | Computer Science | eng |
| dc.title | IMPLEMENTATION OF THE FUNCTIONAL ARCHITECTURE - TIM | eng |
| dc.type | unknown | |
| thesis.degree.discipline | Computer Science | eng |