Research data supporting “The missing link: explaining ELF static linking, semantically”
Repository URI
Repository DOI
Change log
Description
Data submitted to the Artefact Evaluation Committee of the ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) 2016 conference, in support of the publication "The missing link: explaining ELF static linking, semantically". The data consists of Gzipped TAR archive containing our Lem source code, linker test cases, and accompanying Isabelle 2016 sources of the formal proof mentioned in the paper.
Version
Software / Usage instructions
Isabelle-2016, Lem, OCaml, text editor
Keywords
Publisher
University of Cambridge
Rights and licensing
Except where otherwised noted, this item's license is described as Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)
Sponsorship
EPSRC [EP/H005633, EP/K008528]