Matches in SemOpenAlex for { <https://semopenalex.org/work/W2139722010> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2139722010 endingPage "411" @default.
- W2139722010 startingPage "387" @default.
- W2139722010 abstract "A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a class. But encapsulation is difficult to achieve in object-oriented programs owing to heap based structures and reentrant callbacks. This paper shows that it is achieved by a discipline using assertions and auxiliary fields to manage invariants and transferrable ownership. The main result is representation independence: a rule for modular proof of equivalence of class implementations." @default.
- W2139722010 created "2016-06-24" @default.
- W2139722010 creator A5003706361 @default.
- W2139722010 creator A5009739199 @default.
- W2139722010 date "2005-01-01" @default.
- W2139722010 modified "2023-10-17" @default.
- W2139722010 title "State Based Ownership, Reentrance, and Encapsulation" @default.
- W2139722010 cites W1489778371 @default.
- W2139722010 cites W1504633425 @default.
- W2139722010 cites W1506069583 @default.
- W2139722010 cites W1533043085 @default.
- W2139722010 cites W1546922163 @default.
- W2139722010 cites W1573044584 @default.
- W2139722010 cites W1573193667 @default.
- W2139722010 cites W1959256509 @default.
- W2139722010 cites W1979366339 @default.
- W2139722010 cites W2030601112 @default.
- W2139722010 cites W2033348393 @default.
- W2139722010 cites W2052087935 @default.
- W2139722010 cites W2073407646 @default.
- W2139722010 cites W2080769562 @default.
- W2139722010 cites W2126026332 @default.
- W2139722010 cites W2130853806 @default.
- W2139722010 cites W2151131364 @default.
- W2139722010 cites W2151961331 @default.
- W2139722010 cites W2160456755 @default.
- W2139722010 cites W2251459796 @default.
- W2139722010 cites W2911227993 @default.
- W2139722010 cites W3023216518 @default.
- W2139722010 cites W4254618161 @default.
- W2139722010 doi "https://doi.org/10.1007/11531142_17" @default.
- W2139722010 hasPublicationYear "2005" @default.
- W2139722010 type Work @default.
- W2139722010 sameAs 2139722010 @default.
- W2139722010 citedByCount "38" @default.
- W2139722010 countsByYear W21397220102012 @default.
- W2139722010 countsByYear W21397220102013 @default.
- W2139722010 countsByYear W21397220102014 @default.
- W2139722010 countsByYear W21397220102015 @default.
- W2139722010 countsByYear W21397220102016 @default.
- W2139722010 countsByYear W21397220102017 @default.
- W2139722010 countsByYear W21397220102020 @default.
- W2139722010 countsByYear W21397220102022 @default.
- W2139722010 crossrefType "book-chapter" @default.
- W2139722010 hasAuthorship W2139722010A5003706361 @default.
- W2139722010 hasAuthorship W2139722010A5009739199 @default.
- W2139722010 hasConcept C101468663 @default.
- W2139722010 hasConcept C152752567 @default.
- W2139722010 hasConcept C199360897 @default.
- W2139722010 hasConcept C204495577 @default.
- W2139722010 hasConcept C26713055 @default.
- W2139722010 hasConcept C2777904410 @default.
- W2139722010 hasConcept C38652104 @default.
- W2139722010 hasConcept C41008148 @default.
- W2139722010 hasConcept C55439883 @default.
- W2139722010 hasConcept C80444323 @default.
- W2139722010 hasConcept C81147070 @default.
- W2139722010 hasConceptScore W2139722010C101468663 @default.
- W2139722010 hasConceptScore W2139722010C152752567 @default.
- W2139722010 hasConceptScore W2139722010C199360897 @default.
- W2139722010 hasConceptScore W2139722010C204495577 @default.
- W2139722010 hasConceptScore W2139722010C26713055 @default.
- W2139722010 hasConceptScore W2139722010C2777904410 @default.
- W2139722010 hasConceptScore W2139722010C38652104 @default.
- W2139722010 hasConceptScore W2139722010C41008148 @default.
- W2139722010 hasConceptScore W2139722010C55439883 @default.
- W2139722010 hasConceptScore W2139722010C80444323 @default.
- W2139722010 hasConceptScore W2139722010C81147070 @default.
- W2139722010 hasLocation W21397220101 @default.
- W2139722010 hasOpenAccess W2139722010 @default.
- W2139722010 hasPrimaryLocation W21397220101 @default.
- W2139722010 hasRelatedWork W1522809628 @default.
- W2139722010 hasRelatedWork W1548537923 @default.
- W2139722010 hasRelatedWork W1984757784 @default.
- W2139722010 hasRelatedWork W2134593176 @default.
- W2139722010 hasRelatedWork W3047587283 @default.
- W2139722010 hasRelatedWork W3097600727 @default.
- W2139722010 hasRelatedWork W4233228321 @default.
- W2139722010 hasRelatedWork W4249785502 @default.
- W2139722010 hasRelatedWork W4316657683 @default.
- W2139722010 hasRelatedWork W590073850 @default.
- W2139722010 isParatext "false" @default.
- W2139722010 isRetracted "false" @default.
- W2139722010 magId "2139722010" @default.
- W2139722010 workType "book-chapter" @default.