Fredriksson, Hans Olle Viktor (2015) Distributing abstract machines - Online Appendix. [Dataset] (Unpublished)
Research Datasets have been moved to the eData Repository.
This item is at https://edata.bham.ac.uk/53/
Please update any links or bookmarks.
Abstract
This is the online appendix for Olle Fredriksson's PhD thesis titled: "Distributing abstract machines", from 2015.
This appendix consists the source code for four compilers, and Agda formalisations of two of them.
The most feature-complete compiler (based on DCESH) is in the floskel directory.
The Agda formalisations are in the krivine (formalising DKrivine) and secd (formalising DCESH) directories.
The goi and games directories contains compilers based on the Geometry of Interaction and game semantics.
For further information, see the README files in the sub-directories.
| Type of Work: | Dataset |
|---|---|
| School/Faculty: | Colleges (2008 onwards) > College of Engineering & Physical Sciences |
| Department: | School of Computer Science |
| Additional Information: | This data is associated with PhD thesis 'Distributing abstract machines' by Hans Olle Viktor Fredriksson, University of Birmingham (2015) |
| Date: | December 2015 |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| ID Code: | 1985 |
|
Repository Staff Only: item control page
