Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022673252> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2022673252 abstract "Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement inherently weakens the specifications of overridden methods in superclasses, leading to imprecision during program reasoning. To address this, we advocate a fresh approach to OO verification that focuses on the distinction and relation between specifications that cater to calls with static dispatching from those for calls with dynamic dispatching. We formulate a novel specification subsumption that can avoid code re-verification, where possible. Using a predicate mechanism, we propose a flexible scheme for supporting class invariant and lossless casting. Our aim is to lay the foundation for a practical verification system that is precise, concise and modular for sequential OO programs. We exploit the separation logic formalism to achieve this." @default.
- W2022673252 created "2016-06-24" @default.
- W2022673252 creator A5042013137 @default.
- W2022673252 creator A5047181479 @default.
- W2022673252 creator A5069174535 @default.
- W2022673252 creator A5072292925 @default.
- W2022673252 date "2008-01-07" @default.
- W2022673252 modified "2023-10-17" @default.
- W2022673252 title "Enhancing modular OO verification with separation logic" @default.
- W2022673252 cites W1531569178 @default.
- W2022673252 cites W1573044584 @default.
- W2022673252 cites W1579638562 @default.
- W2022673252 cites W1580328473 @default.
- W2022673252 cites W1959256509 @default.
- W2022673252 cites W1992371286 @default.
- W2022673252 cites W1993836075 @default.
- W2022673252 cites W1995008247 @default.
- W2022673252 cites W1996228525 @default.
- W2022673252 cites W2050576837 @default.
- W2022673252 cites W2059295282 @default.
- W2022673252 cites W2080769562 @default.
- W2022673252 cites W2087252615 @default.
- W2022673252 cites W2094160561 @default.
- W2022673252 cites W2103543337 @default.
- W2022673252 cites W2122295522 @default.
- W2022673252 cites W2128186675 @default.
- W2022673252 cites W2132331020 @default.
- W2022673252 cites W2132761501 @default.
- W2022673252 cites W2151131364 @default.
- W2022673252 cites W2171685273 @default.
- W2022673252 cites W3161600003 @default.
- W2022673252 cites W4235062881 @default.
- W2022673252 cites W4256027310 @default.
- W2022673252 doi "https://doi.org/10.1145/1328438.1328452" @default.
- W2022673252 hasPublicationYear "2008" @default.
- W2022673252 type Work @default.
- W2022673252 sameAs 2022673252 @default.
- W2022673252 citedByCount "42" @default.
- W2022673252 countsByYear W20226732522012 @default.
- W2022673252 countsByYear W20226732522013 @default.
- W2022673252 countsByYear W20226732522014 @default.
- W2022673252 countsByYear W20226732522015 @default.
- W2022673252 countsByYear W20226732522016 @default.
- W2022673252 crossrefType "proceedings-article" @default.
- W2022673252 hasAuthorship W2022673252A5042013137 @default.
- W2022673252 hasAuthorship W2022673252A5047181479 @default.
- W2022673252 hasAuthorship W2022673252A5069174535 @default.
- W2022673252 hasAuthorship W2022673252A5072292925 @default.
- W2022673252 hasConcept C101468663 @default.
- W2022673252 hasConcept C119857082 @default.
- W2022673252 hasConcept C173856430 @default.
- W2022673252 hasConcept C199360897 @default.
- W2022673252 hasConcept C2776061190 @default.
- W2022673252 hasConcept C2777904410 @default.
- W2022673252 hasConcept C41008148 @default.
- W2022673252 hasConcept C76214141 @default.
- W2022673252 hasConceptScore W2022673252C101468663 @default.
- W2022673252 hasConceptScore W2022673252C119857082 @default.
- W2022673252 hasConceptScore W2022673252C173856430 @default.
- W2022673252 hasConceptScore W2022673252C199360897 @default.
- W2022673252 hasConceptScore W2022673252C2776061190 @default.
- W2022673252 hasConceptScore W2022673252C2777904410 @default.
- W2022673252 hasConceptScore W2022673252C41008148 @default.
- W2022673252 hasConceptScore W2022673252C76214141 @default.
- W2022673252 hasLocation W20226732521 @default.
- W2022673252 hasOpenAccess W2022673252 @default.
- W2022673252 hasPrimaryLocation W20226732521 @default.
- W2022673252 hasRelatedWork W1523068243 @default.
- W2022673252 hasRelatedWork W1595420666 @default.
- W2022673252 hasRelatedWork W1596781519 @default.
- W2022673252 hasRelatedWork W2031042346 @default.
- W2022673252 hasRelatedWork W2118300983 @default.
- W2022673252 hasRelatedWork W2953248896 @default.
- W2022673252 hasRelatedWork W3092635374 @default.
- W2022673252 hasRelatedWork W3112276003 @default.
- W2022673252 hasRelatedWork W4243252198 @default.
- W2022673252 hasRelatedWork W2560089524 @default.
- W2022673252 isParatext "false" @default.
- W2022673252 isRetracted "false" @default.
- W2022673252 magId "2022673252" @default.
- W2022673252 workType "article" @default.