Matches in SemOpenAlex for { <https://semopenalex.org/work/W203808516> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W203808516 endingPage "135" @default.
- W203808516 startingPage "119" @default.
- W203808516 abstract "Regression verification is the problem of deciding whether two similar programs are equivalent under an arbitrary yet equal context, given some definition of equivalence. So far this problem has only been studied for the case of single-threaded deterministic programs. We present a method for regression verification to establish partial equivalence (i.e., input/output equivalence of terminating executions) of multi-threaded programs. Specifically, we develop two proof-rules that decompose the regression verification between concurrent programs to that of regression verification between sequential functions, a more tractable problem. This ability to avoid composing threads altogether when discharging premises, in a fully automatic way and for general programs, uniquely distinguishes our proof rules from others used for classical verification of concurrent programs." @default.
- W203808516 created "2016-06-24" @default.
- W203808516 creator A5046834577 @default.
- W203808516 creator A5065418639 @default.
- W203808516 creator A5084751293 @default.
- W203808516 date "2012-01-01" @default.
- W203808516 modified "2023-09-23" @default.
- W203808516 title "Regression Verification for Multi-threaded Programs" @default.
- W203808516 cites W190459065 @default.
- W203808516 cites W1964727056 @default.
- W203808516 cites W2039222548 @default.
- W203808516 cites W2073366168 @default.
- W203808516 cites W2090551028 @default.
- W203808516 cites W2098039922 @default.
- W203808516 cites W2101431901 @default.
- W203808516 cites W2293092623 @default.
- W203808516 doi "https://doi.org/10.1007/978-3-642-27940-9_9" @default.
- W203808516 hasPublicationYear "2012" @default.
- W203808516 type Work @default.
- W203808516 sameAs 203808516 @default.
- W203808516 citedByCount "27" @default.
- W203808516 countsByYear W2038085162013 @default.
- W203808516 countsByYear W2038085162014 @default.
- W203808516 countsByYear W2038085162015 @default.
- W203808516 countsByYear W2038085162016 @default.
- W203808516 countsByYear W2038085162017 @default.
- W203808516 countsByYear W2038085162018 @default.
- W203808516 countsByYear W2038085162020 @default.
- W203808516 countsByYear W2038085162021 @default.
- W203808516 countsByYear W2038085162023 @default.
- W203808516 crossrefType "book-chapter" @default.
- W203808516 hasAuthorship W203808516A5046834577 @default.
- W203808516 hasAuthorship W203808516A5065418639 @default.
- W203808516 hasAuthorship W203808516A5084751293 @default.
- W203808516 hasConcept C105795698 @default.
- W203808516 hasConcept C11413529 @default.
- W203808516 hasConcept C118615104 @default.
- W203808516 hasConcept C119857082 @default.
- W203808516 hasConcept C151730666 @default.
- W203808516 hasConcept C152877465 @default.
- W203808516 hasConcept C161821725 @default.
- W203808516 hasConcept C186846655 @default.
- W203808516 hasConcept C199360897 @default.
- W203808516 hasConcept C2777904410 @default.
- W203808516 hasConcept C2779343474 @default.
- W203808516 hasConcept C2780069185 @default.
- W203808516 hasConcept C33923547 @default.
- W203808516 hasConcept C41008148 @default.
- W203808516 hasConcept C529173508 @default.
- W203808516 hasConcept C80444323 @default.
- W203808516 hasConcept C83546350 @default.
- W203808516 hasConcept C86803240 @default.
- W203808516 hasConceptScore W203808516C105795698 @default.
- W203808516 hasConceptScore W203808516C11413529 @default.
- W203808516 hasConceptScore W203808516C118615104 @default.
- W203808516 hasConceptScore W203808516C119857082 @default.
- W203808516 hasConceptScore W203808516C151730666 @default.
- W203808516 hasConceptScore W203808516C152877465 @default.
- W203808516 hasConceptScore W203808516C161821725 @default.
- W203808516 hasConceptScore W203808516C186846655 @default.
- W203808516 hasConceptScore W203808516C199360897 @default.
- W203808516 hasConceptScore W203808516C2777904410 @default.
- W203808516 hasConceptScore W203808516C2779343474 @default.
- W203808516 hasConceptScore W203808516C2780069185 @default.
- W203808516 hasConceptScore W203808516C33923547 @default.
- W203808516 hasConceptScore W203808516C41008148 @default.
- W203808516 hasConceptScore W203808516C529173508 @default.
- W203808516 hasConceptScore W203808516C80444323 @default.
- W203808516 hasConceptScore W203808516C83546350 @default.
- W203808516 hasConceptScore W203808516C86803240 @default.
- W203808516 hasLocation W2038085161 @default.
- W203808516 hasOpenAccess W203808516 @default.
- W203808516 hasPrimaryLocation W2038085161 @default.
- W203808516 hasRelatedWork W1580114899 @default.
- W203808516 hasRelatedWork W162451645 @default.
- W203808516 hasRelatedWork W1966753892 @default.
- W203808516 hasRelatedWork W2087946839 @default.
- W203808516 hasRelatedWork W2145156078 @default.
- W203808516 hasRelatedWork W2396576333 @default.
- W203808516 hasRelatedWork W3137972204 @default.
- W203808516 hasRelatedWork W4328019622 @default.
- W203808516 hasRelatedWork W4384154501 @default.
- W203808516 hasRelatedWork W4384302763 @default.
- W203808516 isParatext "false" @default.
- W203808516 isRetracted "false" @default.
- W203808516 magId "203808516" @default.
- W203808516 workType "book-chapter" @default.