Research data supporting “The missing link: explaining ELF static linking, semantically”
Repository URI
Repository DOI
Change log
Authors
Kell, Stephen
Mulligan, Dominic P
Sewell, Peter
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
ELF, linking, formal specification and verification, Isabelle, Lem
Publisher
University of Cambridge
Sponsorship
EPSRC [EP/H005633, EP/K008528]