Archive · dataset · 2015
Distributing abstract machines - Online Appendix
Listed in UBIRA eData
This is the online appendix for Olle Fredriksson's PhD thesis titled: "Distributing abstract machines", from 2015.
Description
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.
Links
Where it is published
- UBIRA eData record edata.bham.ac.uk/53/1/appendix.zip ↗
landing page · from edata bham ac uk
- DOI doi.org/10.25500/edata.bham.00000053 ↗
DOI / persistent id · from edata bham ac uk
Catalogue records · 1
- OAI-PMH record edata.bham.ac.uk/cgi/oai2?verb=GetRecord&metadataPrefix=oai_dc&identifier=oai%3… ↗
metadata API · from edata bham ac uk
Topics
- From keywords
- Computer Science & AI · Earth & Environmental Science
Provenance · 1 source records, 6 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| UBIRA eData | oai:edata.bham.ac.uk:53 | 13 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].local:field:computer-science-ai | mapping · edata bham ac uk | connector:edata_bham_ac_uk@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · edata bham ac uk | connector:edata_bham_ac_uk@1.0.0 | |
| description | source · edata bham ac uk | connector:edata_bham_ac_uk@1.0.0 | /metadata/dc/description |
| license_text | source · edata bham ac uk | connector:edata_bham_ac_uk@1.0.0 | |
| publication_date | source · edata bham ac uk | connector:edata_bham_ac_uk@1.0.0 | |
| title | source · edata bham ac uk | connector:edata_bham_ac_uk@1.0.0 | /metadata/dc/title |