Matches in SemOpenAlex for { <https://semopenalex.org/work/W2496320422> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2496320422 startingPage "1" @default.
- W2496320422 abstract "Verified compilers are typically proved correct under severerestrictions on what the compiler's output may be linked with, from nolinking at all to linking only with code compiled from the same sourcelanguage. Such assumptions contradict the reality of how we use thesecompilers since most software systems today are comprised ofcomponents written in different languages compiled by differentcompilers to a common target, as well as low-level libraries that maybe handwritten in the target language.The key challenge in verifying compilers for today's world ofmulti-language software is how to formally state a compilercorrectness theorem that is compositional along two dimensions.First, the theorem must guarantee correct compilation of componentswhile allowing compiled code to be composed (linked) withtarget-language components of arbitrary provenance, including thosecompiled from other languages. Second, the theorem must supportverification of multi-pass compilers by composing correctness proofsfor individual passes. In this talk, I will describe a methodologyfor verifying compositional compiler correctness for a higher-ordertyped language and discuss the challenges that lie ahead. I willargue that compositional compiler correctness is, in essence, alanguage interoperability problem: for viable solutions in the longterm, high-level languages must be equipped with principledforeign-function interfaces that specify safe interoperabilitybetween high-level and low-level components, and between moreprecisely and less precisely typed code." @default.
- W2496320422 created "2016-08-23" @default.
- W2496320422 creator A5084250644 @default.
- W2496320422 date "2016-01-01" @default.
- W2496320422 modified "2023-09-23" @default.
- W2496320422 title "Compositional Compiler Verification for a Multi-Language World." @default.
- W2496320422 doi "https://doi.org/10.4230/lipics.fscd.2016.1" @default.
- W2496320422 hasPublicationYear "2016" @default.
- W2496320422 type Work @default.
- W2496320422 sameAs 2496320422 @default.
- W2496320422 citedByCount "2" @default.
- W2496320422 countsByYear W24963204222021 @default.
- W2496320422 countsByYear W24963204222022 @default.
- W2496320422 crossrefType "journal-article" @default.
- W2496320422 hasAuthorship W2496320422A5084250644 @default.
- W2496320422 hasConcept C108710211 @default.
- W2496320422 hasConcept C169590947 @default.
- W2496320422 hasConcept C199360897 @default.
- W2496320422 hasConcept C2524010 @default.
- W2496320422 hasConcept C33923547 @default.
- W2496320422 hasConcept C41008148 @default.
- W2496320422 hasConcept C55439883 @default.
- W2496320422 hasConcept C68366613 @default.
- W2496320422 hasConcept C9957790 @default.
- W2496320422 hasConceptScore W2496320422C108710211 @default.
- W2496320422 hasConceptScore W2496320422C169590947 @default.
- W2496320422 hasConceptScore W2496320422C199360897 @default.
- W2496320422 hasConceptScore W2496320422C2524010 @default.
- W2496320422 hasConceptScore W2496320422C33923547 @default.
- W2496320422 hasConceptScore W2496320422C41008148 @default.
- W2496320422 hasConceptScore W2496320422C55439883 @default.
- W2496320422 hasConceptScore W2496320422C68366613 @default.
- W2496320422 hasConceptScore W2496320422C9957790 @default.
- W2496320422 hasLocation W24963204221 @default.
- W2496320422 hasOpenAccess W2496320422 @default.
- W2496320422 hasPrimaryLocation W24963204221 @default.
- W2496320422 hasRelatedWork W111025925 @default.
- W2496320422 hasRelatedWork W125811839 @default.
- W2496320422 hasRelatedWork W1508358016 @default.
- W2496320422 hasRelatedWork W188282463 @default.
- W2496320422 hasRelatedWork W1965802586 @default.
- W2496320422 hasRelatedWork W2012567572 @default.
- W2496320422 hasRelatedWork W2074630311 @default.
- W2496320422 hasRelatedWork W2102739074 @default.
- W2496320422 hasRelatedWork W2134561344 @default.
- W2496320422 hasRelatedWork W2143759648 @default.
- W2496320422 hasRelatedWork W2162354621 @default.
- W2496320422 hasRelatedWork W2267987975 @default.
- W2496320422 hasRelatedWork W2294465306 @default.
- W2496320422 hasRelatedWork W238947054 @default.
- W2496320422 hasRelatedWork W2539700731 @default.
- W2496320422 hasRelatedWork W2796440538 @default.
- W2496320422 hasRelatedWork W2954033207 @default.
- W2496320422 hasRelatedWork W2977019603 @default.
- W2496320422 hasRelatedWork W3138592144 @default.
- W2496320422 hasRelatedWork W2166828640 @default.
- W2496320422 hasVolume "52" @default.
- W2496320422 isParatext "false" @default.
- W2496320422 isRetracted "false" @default.
- W2496320422 magId "2496320422" @default.
- W2496320422 workType "article" @default.