A verified compiler for Handel-C

Perna, Juan Ignacio (2010) A verified compiler for Handel-C. PhD thesis, University of York.



Awarding institution: University of York
Academic Units: The University of York > Computer Science (York)
Identification Number/EthosID (e.g. uk.bl.ethos.123456): uk.bl.ethos.557246
Depositing User: Mr Juan Ignacio Perna
Date Deposited: 20 May 2010 14:42
Last Modified: 08 Sep 2016 13:01



Filename: Thesis.pdf

Licence: Creative Commons Licence
This work is licensed under a Creative Commons Attribution 2.5 License

Share / Export


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.