Matches in SemOpenAlex for { <https://semopenalex.org/work/W60956224> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W60956224 endingPage "365" @default.
- W60956224 startingPage "319" @default.
- W60956224 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 chapter 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.
- W60956224 created "2016-06-24" @default.
- W60956224 creator A5003706361 @default.
- W60956224 creator A5009739199 @default.
- W60956224 date "2013-01-01" @default.
- W60956224 modified "2023-09-24" @default.
- W60956224 title "State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings" @default.
- W60956224 cites W117888344 @default.
- W60956224 cites W1489778371 @default.
- W60956224 cites W1498831343 @default.
- W60956224 cites W1506069583 @default.
- W60956224 cites W1508098446 @default.
- W60956224 cites W1533043085 @default.
- W60956224 cites W1545681762 @default.
- W60956224 cites W1548974835 @default.
- W60956224 cites W1555166734 @default.
- W60956224 cites W1573044584 @default.
- W60956224 cites W1573193667 @default.
- W60956224 cites W1583095677 @default.
- W60956224 cites W1959256509 @default.
- W60956224 cites W1979366339 @default.
- W60956224 cites W1992889841 @default.
- W60956224 cites W2006290442 @default.
- W60956224 cites W2025897881 @default.
- W60956224 cites W2032691771 @default.
- W60956224 cites W2033348393 @default.
- W60956224 cites W2043207621 @default.
- W60956224 cites W2052087935 @default.
- W60956224 cites W2074516520 @default.
- W60956224 cites W2078020391 @default.
- W60956224 cites W2085080904 @default.
- W60956224 cites W2103591546 @default.
- W60956224 cites W2130111506 @default.
- W60956224 cites W2130427425 @default.
- W60956224 cites W2130853806 @default.
- W60956224 cites W2139722010 @default.
- W60956224 cites W2151131364 @default.
- W60956224 cites W2151961331 @default.
- W60956224 cites W2152137362 @default.
- W60956224 cites W2157220115 @default.
- W60956224 cites W2251459796 @default.
- W60956224 cites W2295118110 @default.
- W60956224 cites W2569787747 @default.
- W60956224 cites W2911227993 @default.
- W60956224 cites W3006137651 @default.
- W60956224 cites W3008818728 @default.
- W60956224 cites W3016757878 @default.
- W60956224 cites W3022060713 @default.
- W60956224 cites W3023216518 @default.
- W60956224 cites W3098880932 @default.
- W60956224 cites W3152102438 @default.
- W60956224 cites W4236287236 @default.
- W60956224 cites W4242021682 @default.
- W60956224 cites W4247699568 @default.
- W60956224 cites W4254136620 @default.
- W60956224 cites W71736232 @default.
- W60956224 doi "https://doi.org/10.1007/978-3-642-36946-9_12" @default.
- W60956224 hasPublicationYear "2013" @default.
- W60956224 type Work @default.
- W60956224 sameAs 60956224 @default.
- W60956224 citedByCount "4" @default.
- W60956224 countsByYear W609562242013 @default.
- W60956224 countsByYear W609562242020 @default.
- W60956224 countsByYear W609562242022 @default.
- W60956224 crossrefType "book-chapter" @default.
- W60956224 hasAuthorship W60956224A5003706361 @default.
- W60956224 hasAuthorship W60956224A5009739199 @default.
- W60956224 hasConcept C101468663 @default.
- W60956224 hasConcept C120314980 @default.
- W60956224 hasConcept C199360897 @default.
- W60956224 hasConcept C31258907 @default.
- W60956224 hasConcept C41008148 @default.
- W60956224 hasConcept C80444323 @default.
- W60956224 hasConcept C81147070 @default.
- W60956224 hasConceptScore W60956224C101468663 @default.
- W60956224 hasConceptScore W60956224C120314980 @default.
- W60956224 hasConceptScore W60956224C199360897 @default.
- W60956224 hasConceptScore W60956224C31258907 @default.
- W60956224 hasConceptScore W60956224C41008148 @default.
- W60956224 hasConceptScore W60956224C80444323 @default.
- W60956224 hasConceptScore W60956224C81147070 @default.
- W60956224 hasLocation W609562241 @default.
- W60956224 hasOpenAccess W60956224 @default.
- W60956224 hasPrimaryLocation W609562241 @default.
- W60956224 hasRelatedWork W1488626258 @default.
- W60956224 hasRelatedWork W1527862632 @default.
- W60956224 hasRelatedWork W1872021739 @default.
- W60956224 hasRelatedWork W1982262311 @default.
- W60956224 hasRelatedWork W2109507516 @default.
- W60956224 hasRelatedWork W2112962394 @default.
- W60956224 hasRelatedWork W2118300983 @default.
- W60956224 hasRelatedWork W2135396778 @default.
- W60956224 hasRelatedWork W3216010002 @default.
- W60956224 hasRelatedWork W4243252198 @default.
- W60956224 isParatext "false" @default.
- W60956224 isRetracted "false" @default.
- W60956224 magId "60956224" @default.
- W60956224 workType "book-chapter" @default.