Matches in SemOpenAlex for { <https://semopenalex.org/work/W188282463> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W188282463 endingPage "148" @default.
- W188282463 startingPage "128" @default.
- W188282463 abstract "Existing verified compilers are proved correct under a closed-world assumption, i.e., that the compiler will only be used to compile whole programs. We present a new methodology for verifying correct compilation of program components, while formally allowing linking with target code of arbitrary provenance. To demonstrate our methodology, we present a two-pass type-preserving open compiler and prove that compilation preserves semantics. The central novelty of our approach is that we define a combined language that embeds the source, intermediate, and target languages and formalizes a semantics of interoperability between them, using boundaries in the style of Matthews and Findler. Compiler correctness is stated as contextual equivalence in the combined language. Note to reader: We use blue, red, and purple to typeset terms in various languages. This paper will be difficult to follow unless read/printed in color." @default.
- W188282463 created "2016-06-24" @default.
- W188282463 creator A5065092754 @default.
- W188282463 creator A5084250644 @default.
- W188282463 date "2014-01-01" @default.
- W188282463 modified "2023-10-03" @default.
- W188282463 title "Verifying an Open Compiler Using Multi-language Semantics" @default.
- W188282463 cites W1521087854 @default.
- W188282463 cites W1614627710 @default.
- W188282463 cites W188282463 @default.
- W188282463 cites W2001154106 @default.
- W188282463 cites W2050469558 @default.
- W188282463 cites W2069107692 @default.
- W188282463 cites W2091345373 @default.
- W188282463 cites W2101443478 @default.
- W188282463 cites W2104795876 @default.
- W188282463 cites W2118227920 @default.
- W188282463 cites W2129695855 @default.
- W188282463 cites W2148662736 @default.
- W188282463 cites W2151480972 @default.
- W188282463 cites W4239690658 @default.
- W188282463 cites W4245120671 @default.
- W188282463 cites W4247648759 @default.
- W188282463 cites W4249824250 @default.
- W188282463 cites W4252501555 @default.
- W188282463 doi "https://doi.org/10.1007/978-3-642-54833-8_8" @default.
- W188282463 hasPublicationYear "2014" @default.
- W188282463 type Work @default.
- W188282463 sameAs 188282463 @default.
- W188282463 citedByCount "41" @default.
- W188282463 countsByYear W1882824632014 @default.
- W188282463 countsByYear W1882824632015 @default.
- W188282463 countsByYear W1882824632016 @default.
- W188282463 countsByYear W1882824632017 @default.
- W188282463 countsByYear W1882824632018 @default.
- W188282463 countsByYear W1882824632019 @default.
- W188282463 countsByYear W1882824632020 @default.
- W188282463 countsByYear W1882824632021 @default.
- W188282463 countsByYear W1882824632022 @default.
- W188282463 countsByYear W1882824632023 @default.
- W188282463 crossrefType "book-chapter" @default.
- W188282463 hasAuthorship W188282463A5065092754 @default.
- W188282463 hasAuthorship W188282463A5084250644 @default.
- W188282463 hasBestOaLocation W1882824631 @default.
- W188282463 hasConcept C111919701 @default.
- W188282463 hasConcept C169590947 @default.
- W188282463 hasConcept C184337299 @default.
- W188282463 hasConcept C199360897 @default.
- W188282463 hasConcept C20136886 @default.
- W188282463 hasConcept C41008148 @default.
- W188282463 hasConcept C55439883 @default.
- W188282463 hasConcept C68366613 @default.
- W188282463 hasConcept C9957790 @default.
- W188282463 hasConceptScore W188282463C111919701 @default.
- W188282463 hasConceptScore W188282463C169590947 @default.
- W188282463 hasConceptScore W188282463C184337299 @default.
- W188282463 hasConceptScore W188282463C199360897 @default.
- W188282463 hasConceptScore W188282463C20136886 @default.
- W188282463 hasConceptScore W188282463C41008148 @default.
- W188282463 hasConceptScore W188282463C55439883 @default.
- W188282463 hasConceptScore W188282463C68366613 @default.
- W188282463 hasConceptScore W188282463C9957790 @default.
- W188282463 hasLocation W1882824631 @default.
- W188282463 hasLocation W1882824632 @default.
- W188282463 hasOpenAccess W188282463 @default.
- W188282463 hasPrimaryLocation W1882824631 @default.
- W188282463 hasRelatedWork W1517926351 @default.
- W188282463 hasRelatedWork W1936017528 @default.
- W188282463 hasRelatedWork W2004605222 @default.
- W188282463 hasRelatedWork W2134898533 @default.
- W188282463 hasRelatedWork W2155757092 @default.
- W188282463 hasRelatedWork W2192862863 @default.
- W188282463 hasRelatedWork W2245390655 @default.
- W188282463 hasRelatedWork W2369288331 @default.
- W188282463 hasRelatedWork W3124740916 @default.
- W188282463 hasRelatedWork W1602178951 @default.
- W188282463 isParatext "false" @default.
- W188282463 isRetracted "false" @default.
- W188282463 magId "188282463" @default.
- W188282463 workType "book-chapter" @default.