Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034340985> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2034340985 endingPage "35" @default.
- W2034340985 startingPage "1" @default.
- W2034340985 abstract "CompCert is a formally verified compiler that generates compact and efficient code for a large subset of the C language. However, CompCert foregoes using SSA, an intermediate representation employed by many compilers that enables writing simpler, faster optimizers. In fact, it has remained an open problem to verify formally an SSA-based compiler. We report on a formally verified, SSA-based middle-end for CompCert. In addition to providing a formally verified SSA-based middle-end, we address two problems raised by Leroy in [2009]: giving an intuitive formal semantics to SSA, and leveraging its global properties to reason locally about program optimizations." @default.
- W2034340985 created "2016-06-24" @default.
- W2034340985 creator A5002005076 @default.
- W2034340985 creator A5015166077 @default.
- W2034340985 creator A5046752375 @default.
- W2034340985 date "2014-03-01" @default.
- W2034340985 modified "2023-10-17" @default.
- W2034340985 title "Formal Verification of an SSA-Based Middle-End for CompCert" @default.
- W2034340985 cites W1883303451 @default.
- W2034340985 cites W1982205631 @default.
- W2034340985 cites W1988233180 @default.
- W2034340985 cites W2002427499 @default.
- W2034340985 cites W2025317174 @default.
- W2034340985 cites W2040856861 @default.
- W2034340985 cites W2042220347 @default.
- W2034340985 cites W2073997098 @default.
- W2034340985 cites W2085050643 @default.
- W2034340985 cites W2091345373 @default.
- W2034340985 cites W2099017529 @default.
- W2034340985 cites W2100221082 @default.
- W2034340985 cites W2101811680 @default.
- W2034340985 cites W2102888019 @default.
- W2034340985 cites W2111379929 @default.
- W2034340985 cites W2118598235 @default.
- W2034340985 cites W2129897994 @default.
- W2034340985 cites W2135488322 @default.
- W2034340985 cites W2144973344 @default.
- W2034340985 cites W2148662736 @default.
- W2034340985 cites W2149127686 @default.
- W2034340985 cites W2152397470 @default.
- W2034340985 cites W2155917498 @default.
- W2034340985 cites W2290708181 @default.
- W2034340985 cites W4206368310 @default.
- W2034340985 cites W4246086292 @default.
- W2034340985 cites W4298447450 @default.
- W2034340985 doi "https://doi.org/10.1145/2579080" @default.
- W2034340985 hasPublicationYear "2014" @default.
- W2034340985 type Work @default.
- W2034340985 sameAs 2034340985 @default.
- W2034340985 citedByCount "31" @default.
- W2034340985 countsByYear W20343409852014 @default.
- W2034340985 countsByYear W20343409852015 @default.
- W2034340985 countsByYear W20343409852016 @default.
- W2034340985 countsByYear W20343409852017 @default.
- W2034340985 countsByYear W20343409852018 @default.
- W2034340985 countsByYear W20343409852019 @default.
- W2034340985 countsByYear W20343409852020 @default.
- W2034340985 countsByYear W20343409852021 @default.
- W2034340985 countsByYear W20343409852022 @default.
- W2034340985 countsByYear W20343409852023 @default.
- W2034340985 crossrefType "journal-article" @default.
- W2034340985 hasAuthorship W2034340985A5002005076 @default.
- W2034340985 hasAuthorship W2034340985A5015166077 @default.
- W2034340985 hasAuthorship W2034340985A5046752375 @default.
- W2034340985 hasBestOaLocation W20343409851 @default.
- W2034340985 hasConcept C169590947 @default.
- W2034340985 hasConcept C173608175 @default.
- W2034340985 hasConcept C184337299 @default.
- W2034340985 hasConcept C190902152 @default.
- W2034340985 hasConcept C199360897 @default.
- W2034340985 hasConcept C41008148 @default.
- W2034340985 hasConcept C75606506 @default.
- W2034340985 hasConcept C77660490 @default.
- W2034340985 hasConceptScore W2034340985C169590947 @default.
- W2034340985 hasConceptScore W2034340985C173608175 @default.
- W2034340985 hasConceptScore W2034340985C184337299 @default.
- W2034340985 hasConceptScore W2034340985C190902152 @default.
- W2034340985 hasConceptScore W2034340985C199360897 @default.
- W2034340985 hasConceptScore W2034340985C41008148 @default.
- W2034340985 hasConceptScore W2034340985C75606506 @default.
- W2034340985 hasConceptScore W2034340985C77660490 @default.
- W2034340985 hasFunder F4320320883 @default.
- W2034340985 hasIssue "1" @default.
- W2034340985 hasLocation W20343409851 @default.
- W2034340985 hasLocation W20343409852 @default.
- W2034340985 hasLocation W20343409853 @default.
- W2034340985 hasLocation W20343409854 @default.
- W2034340985 hasLocation W20343409855 @default.
- W2034340985 hasOpenAccess W2034340985 @default.
- W2034340985 hasPrimaryLocation W20343409851 @default.
- W2034340985 hasRelatedWork W1497385637 @default.
- W2034340985 hasRelatedWork W1541585229 @default.
- W2034340985 hasRelatedWork W1583465708 @default.
- W2034340985 hasRelatedWork W1601646354 @default.
- W2034340985 hasRelatedWork W1606851719 @default.
- W2034340985 hasRelatedWork W1853049011 @default.
- W2034340985 hasRelatedWork W2004605222 @default.
- W2034340985 hasRelatedWork W2080682474 @default.
- W2034340985 hasRelatedWork W2192862863 @default.
- W2034340985 hasRelatedWork W2479014312 @default.
- W2034340985 hasVolume "36" @default.
- W2034340985 isParatext "false" @default.
- W2034340985 isRetracted "false" @default.
- W2034340985 magId "2034340985" @default.
- W2034340985 workType "article" @default.