A New Verified Compiler Backend for CakeML

Tan, Yong Kiam and Myreen, Magnus O. and Kumar, Ramana and Fox, Anthony and Owens, Scott and Norrish, Michael (2016) A New Verified Compiler Backend for CakeML. In: International Conference on Functional Programming, Sep 2016, Nara, Japan. (doi:https://doi.org/10.1145/2951913.2951924) (Full text available)

PDF - Author's Accepted Manuscript
Download (317kB) Preview
[img]
Preview
Item Type: Conference or workshop item (Paper)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing
Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Scott Owens
Date Deposited: 24 May 2016 17:51 UTC
Last Modified: 08 Jun 2017 08:48 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/55687 (The current URI for this page, for reference purposes)
Owens, Scott: https://orcid.org/0000-0002-7437-4780
  • Depositors only (login required):

Downloads

Downloads per month over past year