Matches in SemOpenAlex for { <https://semopenalex.org/work/W1555166734> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1555166734 endingPage "22" @default.
- W1555166734 startingPage "2" @default.
- W1555166734 abstract "The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. The mismatch is sound if the invariants depend only on encapsulated state, but encapsulation is problematic in contemporary software due to the many uses of shared mutable objects. The mismatch is formalized here in a proof rule that achieves flexibility via explicit restrictions on client effects, expressed using ghost state and ordinary first order assertions." @default.
- W1555166734 created "2016-06-24" @default.
- W1555166734 creator A5003706361 @default.
- W1555166734 creator A5009739199 @default.
- W1555166734 date "2010-01-01" @default.
- W1555166734 modified "2023-09-23" @default.
- W1555166734 title "Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions" @default.
- W1555166734 cites W1495368328 @default.
- W1555166734 cites W1528322206 @default.
- W1555166734 cites W1532097571 @default.
- W1555166734 cites W1545681762 @default.
- W1555166734 cites W1546369567 @default.
- W1555166734 cites W1548974835 @default.
- W1555166734 cites W1553421328 @default.
- W1555166734 cites W1567613338 @default.
- W1555166734 cites W1571681815 @default.
- W1555166734 cites W1573399471 @default.
- W1555166734 cites W1663061001 @default.
- W1555166734 cites W1959256509 @default.
- W1555166734 cites W1977978965 @default.
- W1555166734 cites W1978303100 @default.
- W1555166734 cites W1993836075 @default.
- W1555166734 cites W2003539206 @default.
- W1555166734 cites W2024971867 @default.
- W1555166734 cites W2027222319 @default.
- W1555166734 cites W2103591546 @default.
- W1555166734 cites W2128186675 @default.
- W1555166734 cites W2130111506 @default.
- W1555166734 cites W2135161869 @default.
- W1555166734 cites W2138474070 @default.
- W1555166734 cites W2144058993 @default.
- W1555166734 cites W2147650421 @default.
- W1555166734 cites W2152686702 @default.
- W1555166734 cites W2152899988 @default.
- W1555166734 cites W2157220115 @default.
- W1555166734 cites W2163059606 @default.
- W1555166734 cites W3006137651 @default.
- W1555166734 cites W3006363542 @default.
- W1555166734 cites W3023216518 @default.
- W1555166734 cites W3023729334 @default.
- W1555166734 cites W3100079782 @default.
- W1555166734 cites W4236287236 @default.
- W1555166734 doi "https://doi.org/10.1007/978-3-642-11957-6_2" @default.
- W1555166734 hasPublicationYear "2010" @default.
- W1555166734 type Work @default.
- W1555166734 sameAs 1555166734 @default.
- W1555166734 citedByCount "7" @default.
- W1555166734 countsByYear W15551667342012 @default.
- W1555166734 countsByYear W15551667342013 @default.
- W1555166734 crossrefType "book-chapter" @default.
- W1555166734 hasAuthorship W1555166734A5003706361 @default.
- W1555166734 hasAuthorship W1555166734A5009739199 @default.
- W1555166734 hasBestOaLocation W15551667341 @default.
- W1555166734 hasConcept C10138342 @default.
- W1555166734 hasConcept C115961682 @default.
- W1555166734 hasConcept C154945302 @default.
- W1555166734 hasConcept C162324750 @default.
- W1555166734 hasConcept C166957645 @default.
- W1555166734 hasConcept C169087156 @default.
- W1555166734 hasConcept C182306322 @default.
- W1555166734 hasConcept C3073032 @default.
- W1555166734 hasConcept C41008148 @default.
- W1555166734 hasConcept C80444323 @default.
- W1555166734 hasConcept C95457728 @default.
- W1555166734 hasConceptScore W1555166734C10138342 @default.
- W1555166734 hasConceptScore W1555166734C115961682 @default.
- W1555166734 hasConceptScore W1555166734C154945302 @default.
- W1555166734 hasConceptScore W1555166734C162324750 @default.
- W1555166734 hasConceptScore W1555166734C166957645 @default.
- W1555166734 hasConceptScore W1555166734C169087156 @default.
- W1555166734 hasConceptScore W1555166734C182306322 @default.
- W1555166734 hasConceptScore W1555166734C3073032 @default.
- W1555166734 hasConceptScore W1555166734C41008148 @default.
- W1555166734 hasConceptScore W1555166734C80444323 @default.
- W1555166734 hasConceptScore W1555166734C95457728 @default.
- W1555166734 hasLocation W15551667341 @default.
- W1555166734 hasOpenAccess W1555166734 @default.
- W1555166734 hasPrimaryLocation W15551667341 @default.
- W1555166734 hasRelatedWork W138390624 @default.
- W1555166734 hasRelatedWork W1731614289 @default.
- W1555166734 hasRelatedWork W2353427682 @default.
- W1555166734 hasRelatedWork W2367871013 @default.
- W1555166734 hasRelatedWork W2466740106 @default.
- W1555166734 hasRelatedWork W2540177010 @default.
- W1555166734 hasRelatedWork W2786688887 @default.
- W1555166734 hasRelatedWork W2993952339 @default.
- W1555166734 hasRelatedWork W2997059293 @default.
- W1555166734 hasRelatedWork W2592214101 @default.
- W1555166734 isParatext "false" @default.
- W1555166734 isRetracted "false" @default.
- W1555166734 magId "1555166734" @default.
- W1555166734 workType "book-chapter" @default.