Matches in SemOpenAlex for { <https://semopenalex.org/work/W2602917195> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W2602917195 abstract "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 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." @default.
- W2602917195 created "2017-04-07" @default.
- W2602917195 creator A5006974433 @default.
- W2602917195 creator A5007293992 @default.
- W2602917195 creator A5077355709 @default.
- W2602917195 date "2016-08-30" @default.
- W2602917195 modified "2023-10-14" @default.
- W2602917195 title "Research data supporting “The missing link: explaining ELF static linking, semantically”" @default.
- W2602917195 doi "https://doi.org/10.17863/cam.1674" @default.
- W2602917195 hasPublicationYear "2016" @default.
- W2602917195 type Work @default.
- W2602917195 sameAs 2602917195 @default.
- W2602917195 citedByCount "0" @default.
- W2602917195 crossrefType "dataset" @default.
- W2602917195 hasAuthorship W2602917195A5006974433 @default.
- W2602917195 hasAuthorship W2602917195A5007293992 @default.
- W2602917195 hasAuthorship W2602917195A5077355709 @default.
- W2602917195 hasConcept C177264268 @default.
- W2602917195 hasConcept C199360897 @default.
- W2602917195 hasConcept C2776760102 @default.
- W2602917195 hasConcept C2777904410 @default.
- W2602917195 hasConcept C2778753846 @default.
- W2602917195 hasConcept C31258907 @default.
- W2602917195 hasConcept C41008148 @default.
- W2602917195 hasConceptScore W2602917195C177264268 @default.
- W2602917195 hasConceptScore W2602917195C199360897 @default.
- W2602917195 hasConceptScore W2602917195C2776760102 @default.
- W2602917195 hasConceptScore W2602917195C2777904410 @default.
- W2602917195 hasConceptScore W2602917195C2778753846 @default.
- W2602917195 hasConceptScore W2602917195C31258907 @default.
- W2602917195 hasConceptScore W2602917195C41008148 @default.
- W2602917195 hasLocation W26029171951 @default.
- W2602917195 hasOpenAccess W2602917195 @default.
- W2602917195 hasPrimaryLocation W26029171951 @default.
- W2602917195 hasRelatedWork W1490229466 @default.
- W2602917195 hasRelatedWork W1578243924 @default.
- W2602917195 hasRelatedWork W1585153071 @default.
- W2602917195 hasRelatedWork W1995662679 @default.
- W2602917195 hasRelatedWork W2138695473 @default.
- W2602917195 hasRelatedWork W2140225592 @default.
- W2602917195 hasRelatedWork W2156715220 @default.
- W2602917195 hasRelatedWork W2766070256 @default.
- W2602917195 hasRelatedWork W2780402719 @default.
- W2602917195 hasRelatedWork W2954323385 @default.
- W2602917195 hasRelatedWork W3104229214 @default.
- W2602917195 hasRelatedWork W3122106810 @default.
- W2602917195 hasRelatedWork W53783642 @default.
- W2602917195 isParatext "false" @default.
- W2602917195 isRetracted "false" @default.
- W2602917195 magId "2602917195" @default.
- W2602917195 workType "dataset" @default.