Matches in SemOpenAlex for { <https://semopenalex.org/work/W3000582877> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W3000582877 endingPage "335" @default.
- W3000582877 startingPage "326" @default.
- W3000582877 abstract "The ISO C standard does not specify the semantics of many valid programs that use non-portable idioms such as integer-pointer casts. Recent efforts at formal definitions and verified implementation of the C language inherit this feature. By adopting high-level abstract memory models, they validate common optimizations. On the other hand, this prevents reasoning about much low-level code relying on the behavior of common implementations, where formal verification has many applications. We present the first formal memory model that allows many common optimizations and fully supports operations on the representation of pointers. All arithmetic operations are well-defined for pointers that have been cast to integers. Crucially, our model is also simple to understand and program with. All our results are fully formalized in Coq." @default.
- W3000582877 created "2020-01-23" @default.
- W3000582877 creator A5012699993 @default.
- W3000582877 creator A5021389907 @default.
- W3000582877 creator A5021570784 @default.
- W3000582877 creator A5023359178 @default.
- W3000582877 creator A5038300065 @default.
- W3000582877 creator A5085825923 @default.
- W3000582877 date "2015-06-03" @default.
- W3000582877 modified "2023-09-30" @default.
- W3000582877 title "A formal C memory model supporting integer-pointer casts" @default.
- W3000582877 cites W1978364288 @default.
- W3000582877 cites W201976661 @default.
- W3000582877 cites W2064390891 @default.
- W3000582877 cites W2066997989 @default.
- W3000582877 cites W2085050643 @default.
- W3000582877 cites W2148662736 @default.
- W3000582877 cites W2186809249 @default.
- W3000582877 cites W236653988 @default.
- W3000582877 cites W4238083723 @default.
- W3000582877 cites W4239690658 @default.
- W3000582877 cites W4255006224 @default.
- W3000582877 cites W4298447450 @default.
- W3000582877 doi "https://doi.org/10.1145/2813885.2738005" @default.
- W3000582877 hasPublicationYear "2015" @default.
- W3000582877 type Work @default.
- W3000582877 sameAs 3000582877 @default.
- W3000582877 citedByCount "6" @default.
- W3000582877 countsByYear W30005828772019 @default.
- W3000582877 countsByYear W30005828772021 @default.
- W3000582877 countsByYear W30005828772022 @default.
- W3000582877 countsByYear W30005828772023 @default.
- W3000582877 crossrefType "journal-article" @default.
- W3000582877 hasAuthorship W3000582877A5012699993 @default.
- W3000582877 hasAuthorship W3000582877A5021389907 @default.
- W3000582877 hasAuthorship W3000582877A5021570784 @default.
- W3000582877 hasAuthorship W3000582877A5023359178 @default.
- W3000582877 hasAuthorship W3000582877A5038300065 @default.
- W3000582877 hasAuthorship W3000582877A5085825923 @default.
- W3000582877 hasConcept C12186640 @default.
- W3000582877 hasConcept C133875982 @default.
- W3000582877 hasConcept C150202949 @default.
- W3000582877 hasConcept C154945302 @default.
- W3000582877 hasConcept C173608175 @default.
- W3000582877 hasConcept C199360897 @default.
- W3000582877 hasConcept C26713055 @default.
- W3000582877 hasConcept C41008148 @default.
- W3000582877 hasConcept C80444323 @default.
- W3000582877 hasConceptScore W3000582877C12186640 @default.
- W3000582877 hasConceptScore W3000582877C133875982 @default.
- W3000582877 hasConceptScore W3000582877C150202949 @default.
- W3000582877 hasConceptScore W3000582877C154945302 @default.
- W3000582877 hasConceptScore W3000582877C173608175 @default.
- W3000582877 hasConceptScore W3000582877C199360897 @default.
- W3000582877 hasConceptScore W3000582877C26713055 @default.
- W3000582877 hasConceptScore W3000582877C41008148 @default.
- W3000582877 hasConceptScore W3000582877C80444323 @default.
- W3000582877 hasIssue "6" @default.
- W3000582877 hasLocation W30005828771 @default.
- W3000582877 hasOpenAccess W3000582877 @default.
- W3000582877 hasPrimaryLocation W30005828771 @default.
- W3000582877 hasRelatedWork W1504651774 @default.
- W3000582877 hasRelatedWork W1554764448 @default.
- W3000582877 hasRelatedWork W1565501066 @default.
- W3000582877 hasRelatedWork W1984757784 @default.
- W3000582877 hasRelatedWork W2023785576 @default.
- W3000582877 hasRelatedWork W2045903735 @default.
- W3000582877 hasRelatedWork W2083338789 @default.
- W3000582877 hasRelatedWork W2126981475 @default.
- W3000582877 hasRelatedWork W2748872428 @default.
- W3000582877 hasRelatedWork W2899100898 @default.
- W3000582877 hasVolume "50" @default.
- W3000582877 isParatext "false" @default.
- W3000582877 isRetracted "false" @default.
- W3000582877 magId "3000582877" @default.
- W3000582877 workType "article" @default.