ePapers Repository

Distributing abstract machines - Online Appendix

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.


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

Export Reference As : ASCII + BibTeX + Dublin Core + EndNote + HTML + METS + MODS + OpenURL Object + Reference Manager + Refer + RefWorks
Share this item :
QR Code for this page

Repository Staff Only: item control page