Matches in SemOpenAlex for { <https://semopenalex.org/work/W3119305140> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3119305140 endingPage "148" @default.
- W3119305140 startingPage "127" @default.
- W3119305140 abstract "A self-certifying compiler is designed to generate a correctness proof for each optimization performed during compilation. The generated proofs are checked automatically by an independent proof validator. The outcome is formally verified compilation, achieved without formally verifying the compiler. This paper describes the design and implementation of a self-certifying compilation framework for WebAssembly, a new intermediate language supported by all major browsers." @default.
- W3119305140 created "2021-01-18" @default.
- W3119305140 creator A5031527903 @default.
- W3119305140 creator A5080637066 @default.
- W3119305140 date "2021-01-01" @default.
- W3119305140 modified "2023-09-23" @default.
- W3119305140 title "A Self-certifying Compilation Framework for WebAssembly" @default.
- W3119305140 cites W138311957 @default.
- W3119305140 cites W1480909796 @default.
- W3119305140 cites W1511110335 @default.
- W3119305140 cites W1515540333 @default.
- W3119305140 cites W1545038039 @default.
- W3119305140 cites W1572478860 @default.
- W3119305140 cites W1575176197 @default.
- W3119305140 cites W1593280365 @default.
- W3119305140 cites W1982205631 @default.
- W3119305140 cites W1996839061 @default.
- W3119305140 cites W2023035194 @default.
- W3119305140 cites W2034340985 @default.
- W3119305140 cites W2040856861 @default.
- W3119305140 cites W2049134225 @default.
- W3119305140 cites W2050948770 @default.
- W3119305140 cites W2084715426 @default.
- W3119305140 cites W2108443473 @default.
- W3119305140 cites W2144387778 @default.
- W3119305140 cites W2206648863 @default.
- W3119305140 cites W249665729 @default.
- W3119305140 cites W2515012086 @default.
- W3119305140 cites W2554831868 @default.
- W3119305140 cites W2767813599 @default.
- W3119305140 cites W2954725723 @default.
- W3119305140 cites W2997326335 @default.
- W3119305140 cites W3004631746 @default.
- W3119305140 cites W3012896203 @default.
- W3119305140 cites W327661820 @default.
- W3119305140 cites W4232865065 @default.
- W3119305140 cites W4233269833 @default.
- W3119305140 doi "https://doi.org/10.1007/978-3-030-67067-2_7" @default.
- W3119305140 hasPublicationYear "2021" @default.
- W3119305140 type Work @default.
- W3119305140 sameAs 3119305140 @default.
- W3119305140 citedByCount "3" @default.
- W3119305140 countsByYear W31193051402022 @default.
- W3119305140 countsByYear W31193051402023 @default.
- W3119305140 crossrefType "book-chapter" @default.
- W3119305140 hasAuthorship W3119305140A5031527903 @default.
- W3119305140 hasAuthorship W3119305140A5080637066 @default.
- W3119305140 hasConcept C108710211 @default.
- W3119305140 hasConcept C136764020 @default.
- W3119305140 hasConcept C169590947 @default.
- W3119305140 hasConcept C199360897 @default.
- W3119305140 hasConcept C2524010 @default.
- W3119305140 hasConcept C33923547 @default.
- W3119305140 hasConcept C35292069 @default.
- W3119305140 hasConcept C41008148 @default.
- W3119305140 hasConcept C55439883 @default.
- W3119305140 hasConcept C68366613 @default.
- W3119305140 hasConcept C9957790 @default.
- W3119305140 hasConceptScore W3119305140C108710211 @default.
- W3119305140 hasConceptScore W3119305140C136764020 @default.
- W3119305140 hasConceptScore W3119305140C169590947 @default.
- W3119305140 hasConceptScore W3119305140C199360897 @default.
- W3119305140 hasConceptScore W3119305140C2524010 @default.
- W3119305140 hasConceptScore W3119305140C33923547 @default.
- W3119305140 hasConceptScore W3119305140C35292069 @default.
- W3119305140 hasConceptScore W3119305140C41008148 @default.
- W3119305140 hasConceptScore W3119305140C55439883 @default.
- W3119305140 hasConceptScore W3119305140C68366613 @default.
- W3119305140 hasConceptScore W3119305140C9957790 @default.
- W3119305140 hasLocation W31193051401 @default.
- W3119305140 hasOpenAccess W3119305140 @default.
- W3119305140 hasPrimaryLocation W31193051401 @default.
- W3119305140 hasRelatedWork W1517926351 @default.
- W3119305140 hasRelatedWork W1936017528 @default.
- W3119305140 hasRelatedWork W2004605222 @default.
- W3119305140 hasRelatedWork W2155757092 @default.
- W3119305140 hasRelatedWork W2192862863 @default.
- W3119305140 hasRelatedWork W2245390655 @default.
- W3119305140 hasRelatedWork W2369288331 @default.
- W3119305140 hasRelatedWork W3124740916 @default.
- W3119305140 hasRelatedWork W4225420329 @default.
- W3119305140 hasRelatedWork W1602178951 @default.
- W3119305140 isParatext "false" @default.
- W3119305140 isRetracted "false" @default.
- W3119305140 magId "3119305140" @default.
- W3119305140 workType "book-chapter" @default.