Matches in SemOpenAlex for { <https://semopenalex.org/work/W2081999848> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2081999848 endingPage "285" @default.
- W2081999848 startingPage "279" @default.
- W2081999848 abstract "The redefinition of a method in subclasses can completely change the semantics of the superclass method unless there are effective mechanisms that enforce the preservation of behavioral properties. Several approaches to behavioral subtyping—exact pre-post match, plug-in match, relaxed plug-in match among others—exist that enforce the preservation of behavioral properties. To maintain or weaken pre-conditions and to maintain or enforce post-conditions when redefining methods in extended classes—plug-in match—is the solution that is adopted, by construction, in the Eiffel language, among other assertion languages. This approach forbids the specification of a class of legitimate programs from which we present an example. We claim that relaxed plug-in match should be enforced instead, in order to accommodate these examples. Other approaches exist, as is the case of case analysis in JML and OCL, that allow the specification of those programs, but they do it at the cost of decreasing software extension. We propose a new way of building contracts that identify and express, in a natural and elegant way, the several contributions that method redefinition can bring, and that are expressive enough to specify extensible contracts for the above mentioned class of programs. These contracts ensure, by construction, that redefinition preserves behavioral properties." @default.
- W2081999848 created "2016-06-24" @default.
- W2081999848 creator A5036351712 @default.
- W2081999848 date "2004-12-01" @default.
- W2081999848 modified "2023-09-27" @default.
- W2081999848 title "Method redefinition—ensuring alternative behaviors" @default.
- W2081999848 cites W1495937566 @default.
- W2081999848 cites W1521161646 @default.
- W2081999848 cites W1535103785 @default.
- W2081999848 cites W1975255815 @default.
- W2081999848 cites W1995008247 @default.
- W2081999848 cites W204377626 @default.
- W2081999848 cites W2090962365 @default.
- W2081999848 cites W2107778618 @default.
- W2081999848 cites W2119303515 @default.
- W2081999848 cites W2133206580 @default.
- W2081999848 cites W2158641382 @default.
- W2081999848 cites W2171339374 @default.
- W2081999848 cites W3183224878 @default.
- W2081999848 doi "https://doi.org/10.1016/j.ipl.2004.09.004" @default.
- W2081999848 hasPublicationYear "2004" @default.
- W2081999848 type Work @default.
- W2081999848 sameAs 2081999848 @default.
- W2081999848 citedByCount "1" @default.
- W2081999848 crossrefType "journal-article" @default.
- W2081999848 hasAuthorship W2081999848A5036351712 @default.
- W2081999848 hasConcept C115903868 @default.
- W2081999848 hasConcept C154945302 @default.
- W2081999848 hasConcept C184337299 @default.
- W2081999848 hasConcept C186362262 @default.
- W2081999848 hasConcept C186846655 @default.
- W2081999848 hasConcept C199360897 @default.
- W2081999848 hasConcept C2777212361 @default.
- W2081999848 hasConcept C2777904410 @default.
- W2081999848 hasConcept C2778029271 @default.
- W2081999848 hasConcept C40422974 @default.
- W2081999848 hasConcept C41008148 @default.
- W2081999848 hasConcept C4924752 @default.
- W2081999848 hasConcept C529173508 @default.
- W2081999848 hasConcept C73752529 @default.
- W2081999848 hasConcept C80291951 @default.
- W2081999848 hasConcept C80444323 @default.
- W2081999848 hasConceptScore W2081999848C115903868 @default.
- W2081999848 hasConceptScore W2081999848C154945302 @default.
- W2081999848 hasConceptScore W2081999848C184337299 @default.
- W2081999848 hasConceptScore W2081999848C186362262 @default.
- W2081999848 hasConceptScore W2081999848C186846655 @default.
- W2081999848 hasConceptScore W2081999848C199360897 @default.
- W2081999848 hasConceptScore W2081999848C2777212361 @default.
- W2081999848 hasConceptScore W2081999848C2777904410 @default.
- W2081999848 hasConceptScore W2081999848C2778029271 @default.
- W2081999848 hasConceptScore W2081999848C40422974 @default.
- W2081999848 hasConceptScore W2081999848C41008148 @default.
- W2081999848 hasConceptScore W2081999848C4924752 @default.
- W2081999848 hasConceptScore W2081999848C529173508 @default.
- W2081999848 hasConceptScore W2081999848C73752529 @default.
- W2081999848 hasConceptScore W2081999848C80291951 @default.
- W2081999848 hasConceptScore W2081999848C80444323 @default.
- W2081999848 hasIssue "6" @default.
- W2081999848 hasLocation W20819998481 @default.
- W2081999848 hasOpenAccess W2081999848 @default.
- W2081999848 hasPrimaryLocation W20819998481 @default.
- W2081999848 hasRelatedWork W1493031836 @default.
- W2081999848 hasRelatedWork W1518075319 @default.
- W2081999848 hasRelatedWork W1566936408 @default.
- W2081999848 hasRelatedWork W1569869368 @default.
- W2081999848 hasRelatedWork W1870068274 @default.
- W2081999848 hasRelatedWork W2081999848 @default.
- W2081999848 hasRelatedWork W2105142318 @default.
- W2081999848 hasRelatedWork W2153947295 @default.
- W2081999848 hasRelatedWork W421036565 @default.
- W2081999848 hasRelatedWork W2182395536 @default.
- W2081999848 hasVolume "92" @default.
- W2081999848 isParatext "false" @default.
- W2081999848 isRetracted "false" @default.
- W2081999848 magId "2081999848" @default.
- W2081999848 workType "article" @default.