Matches in SemOpenAlex for { <https://semopenalex.org/work/W59640247> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W59640247 endingPage "127" @default.
- W59640247 startingPage "107" @default.
- W59640247 abstract "We present a new architecture for specifying and proving optimizing compilers in the presence of shared-memory interactions such as buffer-based system calls, shared-memory concurrency, and separate compilation. The architecture, which is implemented in the context of CompCert, includes a novel interaction-oriented model for C-like languages, and a new proof technique, called logical simulation relations, for compositionally proving compiler correctness with respect to this interaction model. We apply our techniques to CompCert’s primary memory-reorganizing compilation phase, Cminorgen. Our results are formalized in Coq, building on the recently released CompCert 2.0." @default.
- W59640247 created "2016-06-24" @default.
- W59640247 creator A5004766305 @default.
- W59640247 creator A5005561151 @default.
- W59640247 creator A5075091834 @default.
- W59640247 creator A5076817215 @default.
- W59640247 date "2014-01-01" @default.
- W59640247 modified "2023-09-27" @default.
- W59640247 title "Verified Compilation for Shared-Memory C" @default.
- W59640247 cites W2090551028 @default.
- W59640247 cites W2132761501 @default.
- W59640247 cites W2154942048 @default.
- W59640247 cites W2162627428 @default.
- W59640247 cites W2165970356 @default.
- W59640247 cites W2213989452 @default.
- W59640247 cites W3003392917 @default.
- W59640247 cites W3016757878 @default.
- W59640247 cites W3118490272 @default.
- W59640247 cites W4239018153 @default.
- W59640247 cites W4239690658 @default.
- W59640247 cites W4250738323 @default.
- W59640247 cites W564852913 @default.
- W59640247 doi "https://doi.org/10.1007/978-3-642-54833-8_7" @default.
- W59640247 hasPublicationYear "2014" @default.
- W59640247 type Work @default.
- W59640247 sameAs 59640247 @default.
- W59640247 citedByCount "33" @default.
- W59640247 countsByYear W596402472014 @default.
- W59640247 countsByYear W596402472015 @default.
- W59640247 countsByYear W596402472016 @default.
- W59640247 countsByYear W596402472017 @default.
- W59640247 countsByYear W596402472018 @default.
- W59640247 countsByYear W596402472019 @default.
- W59640247 countsByYear W596402472020 @default.
- W59640247 countsByYear W596402472021 @default.
- W59640247 countsByYear W596402472022 @default.
- W59640247 countsByYear W596402472023 @default.
- W59640247 crossrefType "book-chapter" @default.
- W59640247 hasAuthorship W59640247A5004766305 @default.
- W59640247 hasAuthorship W59640247A5005561151 @default.
- W59640247 hasAuthorship W59640247A5075091834 @default.
- W59640247 hasAuthorship W59640247A5076817215 @default.
- W59640247 hasBestOaLocation W596402471 @default.
- W59640247 hasConcept C12186640 @default.
- W59640247 hasConcept C133875982 @default.
- W59640247 hasConcept C151730666 @default.
- W59640247 hasConcept C169590947 @default.
- W59640247 hasConcept C173608175 @default.
- W59640247 hasConcept C193702766 @default.
- W59640247 hasConcept C199360897 @default.
- W59640247 hasConcept C2779343474 @default.
- W59640247 hasConcept C41008148 @default.
- W59640247 hasConcept C55439883 @default.
- W59640247 hasConcept C86803240 @default.
- W59640247 hasConceptScore W59640247C12186640 @default.
- W59640247 hasConceptScore W59640247C133875982 @default.
- W59640247 hasConceptScore W59640247C151730666 @default.
- W59640247 hasConceptScore W59640247C169590947 @default.
- W59640247 hasConceptScore W59640247C173608175 @default.
- W59640247 hasConceptScore W59640247C193702766 @default.
- W59640247 hasConceptScore W59640247C199360897 @default.
- W59640247 hasConceptScore W59640247C2779343474 @default.
- W59640247 hasConceptScore W59640247C41008148 @default.
- W59640247 hasConceptScore W59640247C55439883 @default.
- W59640247 hasConceptScore W59640247C86803240 @default.
- W59640247 hasLocation W596402471 @default.
- W59640247 hasOpenAccess W59640247 @default.
- W59640247 hasPrimaryLocation W596402471 @default.
- W59640247 hasRelatedWork W1496409793 @default.
- W59640247 hasRelatedWork W1839004754 @default.
- W59640247 hasRelatedWork W1978814837 @default.
- W59640247 hasRelatedWork W2105856903 @default.
- W59640247 hasRelatedWork W2348711589 @default.
- W59640247 hasRelatedWork W2592137786 @default.
- W59640247 hasRelatedWork W2743924600 @default.
- W59640247 hasRelatedWork W3147844147 @default.
- W59640247 hasRelatedWork W4256041698 @default.
- W59640247 hasRelatedWork W867008410 @default.
- W59640247 isParatext "false" @default.
- W59640247 isRetracted "false" @default.
- W59640247 magId "59640247" @default.
- W59640247 workType "book-chapter" @default.