research

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

Authors
Publication date
4 November 2015
Publisher
University of Kent

Abstract

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

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Kent Academic Repository

    redirect
    oaioai:kar.kent.ac.uk:51459
    Last time updated on 05/04/2016