Research data supporting “The missing link: explaining ELF static linking, semantically”
Mulligan, Dominic P.
University of Cambridge
MetadataShow full item record
Kell, S., Mulligan, D. P., & Sewell, P. (2016). Research data supporting “The missing link: explaining ELF static linking, semantically” [Dataset]. https://doi.org/10.17863/CAM.1674
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.
Isabelle-2016, Lem, OCaml, text editor
ELF, linking, formal specification and verification, Isabelle, Lem
Related software/sourcecode: https://bitbucket.org/Peter_Sewell/linksem
Publication Reference: https://doi.org/10.1145/2983990.2983996https://www.repository.cam.ac.uk/handle/1810/260771
EPSRC [EP/H005633, EP/K008528]
This record's DOI: https://doi.org/10.17863/CAM.1674
Attribution-NonCommercial-NoDerivatives 4.0 International
Licence URL: https://creativecommons.org/licenses/by-nc-nd/4.0/