Static Methods to Check Low-Level Code for a Graph Reduction Machine

Perez Cervantes, Marco Polo (2013) Static Methods to Check Low-Level Code for a Graph Reduction Machine. PhD thesis, University of York.

Abstract

Metadata

Supervisors: Colin, Runciman
Awarding institution: University of York
Academic Units: The University of York > Computer Science (York)
Identification Number/EthosID: uk.bl.ethos.605341
Depositing User: Mr Marco Polo Perez
Date Deposited: 09 Jun 2014 12:59
Last Modified: 08 Sep 2016 13:30

Download

Export

Statistics


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.