Research data supporting “The missing link: explaining ELF static linking, semantically”
收藏DataCite Commons2024-12-13 更新2024-08-25 收录
下载链接：
https://www.repository.cam.ac.uk/handle/1810/257439
下载链接
链接失效反馈官方服务：
资源简介：
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.
提供机构：
University of Cambridge
创建时间：
2016-08-30
