Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.605341
Title: Static methods to check low-level code for a graph reduction machine
Author: Perez Cervantes, Marco Polo
Awarding Body: University of York
Current Institution: University of York
Date of Award: 2013
Availability of Full Text:
Access through EThOS:
Access through Institution:
Abstract:
This thesis is about checking code for a graph-reduction machine computing by template instantiation. An equation-based static checking method for low-level code is proposed in this thesis. The checking can be performed without requiring any extra code annotations. Most ill-behaved programs can be rejected and most well-behaved programs can be accepted. The template code has no explicit information about data types but the static checker works by inferring low-level recursive types. We show compatibility between high-level and low-level type systems. We evaluate empirically the eff´┐Żectiveness of checking to prevent failures. We investigate the low-level implementation of the static checker and how it can be made efficient.
Supervisor: Colin, Runciman Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.605341  DOI: Not available
Share: