Matches in SemOpenAlex for { <https://semopenalex.org/work/W119990381> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W119990381 endingPage "134" @default.
- W119990381 startingPage "120" @default.
- W119990381 abstract "Proof reuse in formal software verification is crucial in presence of constant evolutionary changes to the verification target. Contract-based verification makes it possible to verify large programs, because each method in a program can be verified against its contract separately. A small change to some contract, however, invalidates all proofs that rely on it, which makes reuse difficult. We introduce fully abstract contracts and class invariants which permit to completely decouple reasoning about programs from the applicability check of contracts. We implemented tool support for abstract contracts as part of the KeY verification system and empirically show the considerable reuse potential of our approach." @default.
- W119990381 created "2016-06-24" @default.
- W119990381 creator A5043743887 @default.
- W119990381 creator A5082065721 @default.
- W119990381 creator A5084143460 @default.
- W119990381 date "2014-01-01" @default.
- W119990381 modified "2023-10-16" @default.
- W119990381 title "Fully Abstract Operation Contracts" @default.
- W119990381 cites W1488470055 @default.
- W119990381 cites W1512176711 @default.
- W119990381 cites W1545906534 @default.
- W119990381 cites W1549859189 @default.
- W119990381 cites W1551663574 @default.
- W119990381 cites W1570348583 @default.
- W119990381 cites W1604442026 @default.
- W119990381 cites W1858610213 @default.
- W119990381 cites W1995008247 @default.
- W119990381 cites W2052363833 @default.
- W119990381 cites W2081034590 @default.
- W119990381 cites W2117752042 @default.
- W119990381 cites W2121396013 @default.
- W119990381 cites W2173900622 @default.
- W119990381 cites W2987907651 @default.
- W119990381 doi "https://doi.org/10.1007/978-3-662-45231-8_9" @default.
- W119990381 hasPublicationYear "2014" @default.
- W119990381 type Work @default.
- W119990381 sameAs 119990381 @default.
- W119990381 citedByCount "16" @default.
- W119990381 countsByYear W1199903812014 @default.
- W119990381 countsByYear W1199903812015 @default.
- W119990381 countsByYear W1199903812016 @default.
- W119990381 countsByYear W1199903812018 @default.
- W119990381 countsByYear W1199903812019 @default.
- W119990381 countsByYear W1199903812020 @default.
- W119990381 countsByYear W1199903812021 @default.
- W119990381 countsByYear W1199903812022 @default.
- W119990381 crossrefType "book-chapter" @default.
- W119990381 hasAuthorship W119990381A5043743887 @default.
- W119990381 hasAuthorship W119990381A5082065721 @default.
- W119990381 hasAuthorship W119990381A5084143460 @default.
- W119990381 hasConcept C144133560 @default.
- W119990381 hasConcept C41008148 @default.
- W119990381 hasConceptScore W119990381C144133560 @default.
- W119990381 hasConceptScore W119990381C41008148 @default.
- W119990381 hasLocation W1199903811 @default.
- W119990381 hasOpenAccess W119990381 @default.
- W119990381 hasPrimaryLocation W1199903811 @default.
- W119990381 hasRelatedWork W2093578348 @default.
- W119990381 hasRelatedWork W2350741829 @default.
- W119990381 hasRelatedWork W2358668433 @default.
- W119990381 hasRelatedWork W2376932109 @default.
- W119990381 hasRelatedWork W2382290278 @default.
- W119990381 hasRelatedWork W2390279801 @default.
- W119990381 hasRelatedWork W2748952813 @default.
- W119990381 hasRelatedWork W2766271392 @default.
- W119990381 hasRelatedWork W2899084033 @default.
- W119990381 hasRelatedWork W3004735627 @default.
- W119990381 isParatext "false" @default.
- W119990381 isRetracted "false" @default.
- W119990381 magId "119990381" @default.
- W119990381 workType "book-chapter" @default.