Matches in SemOpenAlex for { <https://semopenalex.org/work/W57185801> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W57185801 endingPage "214" @default.
- W57185801 startingPage "200" @default.
- W57185801 abstract "Relational program logics are formalisms for specifying and verifying properties about two programs or two runs of the same program. These properties range from correctness of compiler optimizations or equivalence between two implementations of an abstract data type, to properties like non-interference or determinism. Yet the current technology for relational verification remains underdeveloped. We provide a general notion of product program that supports a direct reduction of relational verification to standard verification. We illustrate the benefits of our method with selected examples, including non-interference, standard loop optimizations, and a state-of-the-art optimization for incremental computation. All examples have been verified using the Why tool." @default.
- W57185801 created "2016-06-24" @default.
- W57185801 creator A5004667371 @default.
- W57185801 creator A5075142030 @default.
- W57185801 creator A5075577852 @default.
- W57185801 date "2011-01-01" @default.
- W57185801 modified "2023-10-03" @default.
- W57185801 title "Relational Verification Using Product Programs" @default.
- W57185801 cites W1522079290 @default.
- W57185801 cites W1586448612 @default.
- W57185801 cites W1587844310 @default.
- W57185801 cites W1967890297 @default.
- W57185801 cites W2045437741 @default.
- W57185801 cites W2060787894 @default.
- W57185801 cites W2109225219 @default.
- W57185801 cites W2115974895 @default.
- W57185801 cites W2131275552 @default.
- W57185801 cites W2134087751 @default.
- W57185801 cites W2139799388 @default.
- W57185801 cites W2144387778 @default.
- W57185801 cites W2233233025 @default.
- W57185801 cites W2911450990 @default.
- W57185801 cites W4243284147 @default.
- W57185801 cites W4251192040 @default.
- W57185801 doi "https://doi.org/10.1007/978-3-642-21437-0_17" @default.
- W57185801 hasPublicationYear "2011" @default.
- W57185801 type Work @default.
- W57185801 sameAs 57185801 @default.
- W57185801 citedByCount "138" @default.
- W57185801 countsByYear W571858012012 @default.
- W57185801 countsByYear W571858012013 @default.
- W57185801 countsByYear W571858012014 @default.
- W57185801 countsByYear W571858012015 @default.
- W57185801 countsByYear W571858012016 @default.
- W57185801 countsByYear W571858012017 @default.
- W57185801 countsByYear W571858012018 @default.
- W57185801 countsByYear W571858012019 @default.
- W57185801 countsByYear W571858012020 @default.
- W57185801 countsByYear W571858012021 @default.
- W57185801 countsByYear W571858012022 @default.
- W57185801 countsByYear W571858012023 @default.
- W57185801 crossrefType "book-chapter" @default.
- W57185801 hasAuthorship W57185801A5004667371 @default.
- W57185801 hasAuthorship W57185801A5075142030 @default.
- W57185801 hasAuthorship W57185801A5075577852 @default.
- W57185801 hasBestOaLocation W571858012 @default.
- W57185801 hasConcept C138885662 @default.
- W57185801 hasConcept C169590947 @default.
- W57185801 hasConcept C171018156 @default.
- W57185801 hasConcept C199360897 @default.
- W57185801 hasConcept C2524010 @default.
- W57185801 hasConcept C26713055 @default.
- W57185801 hasConcept C2780069185 @default.
- W57185801 hasConcept C33923547 @default.
- W57185801 hasConcept C41008148 @default.
- W57185801 hasConcept C41895202 @default.
- W57185801 hasConcept C55439883 @default.
- W57185801 hasConcept C80444323 @default.
- W57185801 hasConceptScore W57185801C138885662 @default.
- W57185801 hasConceptScore W57185801C169590947 @default.
- W57185801 hasConceptScore W57185801C171018156 @default.
- W57185801 hasConceptScore W57185801C199360897 @default.
- W57185801 hasConceptScore W57185801C2524010 @default.
- W57185801 hasConceptScore W57185801C26713055 @default.
- W57185801 hasConceptScore W57185801C2780069185 @default.
- W57185801 hasConceptScore W57185801C33923547 @default.
- W57185801 hasConceptScore W57185801C41008148 @default.
- W57185801 hasConceptScore W57185801C41895202 @default.
- W57185801 hasConceptScore W57185801C55439883 @default.
- W57185801 hasConceptScore W57185801C80444323 @default.
- W57185801 hasLocation W571858011 @default.
- W57185801 hasLocation W571858012 @default.
- W57185801 hasOpenAccess W57185801 @default.
- W57185801 hasPrimaryLocation W571858011 @default.
- W57185801 hasRelatedWork W1497385637 @default.
- W57185801 hasRelatedWork W1936017528 @default.
- W57185801 hasRelatedWork W2003848320 @default.
- W57185801 hasRelatedWork W2044422526 @default.
- W57185801 hasRelatedWork W2112690207 @default.
- W57185801 hasRelatedWork W2192862863 @default.
- W57185801 hasRelatedWork W2245390655 @default.
- W57185801 hasRelatedWork W2369288331 @default.
- W57185801 hasRelatedWork W4252501555 @default.
- W57185801 hasRelatedWork W1602178951 @default.
- W57185801 isParatext "false" @default.
- W57185801 isRetracted "false" @default.
- W57185801 magId "57185801" @default.
- W57185801 workType "book-chapter" @default.