Skip to main content

Proof appendix to accompany the paper, "From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes"

Robbins, Ed, King, Andy, Schrijvers, Tom (2015) Proof appendix to accompany the paper, "From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes". University of Kent

PDF (Proof Appendix to accompany the paper, "From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes") - Author's Accepted Manuscript
Download (186kB) Preview
[img]
Preview

Abstract

Proof appendix to accompany the paper, "From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes"

Item Type: Research report (external)
Subjects: Q Science
Q Science > QA Mathematics (inc Computing science)
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Andy King
Date Deposited: 04 Nov 2015 14:51 UTC
Last Modified: 29 May 2019 16:16 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/51459 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year