FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1982262311> ?p ?o ?g. }

• W1982262311 endingPage "323" @default.
• W1982262311 startingPage "313" @default.
• W1982262311 abstract "Imperative and object-oriented programs make ubiquitous use of shared mutable objects. Updating a shared object can and often does transgress a boundary that was supposed to be established using static constructs such as a class with private fields. This paper shows how auxiliary fields can be used to express two state-dependent encapsulation disciplines: ownership, a kind of separation, and local co-dependence, a kind of sharing. A methodology is given for specification and modular verification of encapsulated object invariants and shown sound for a class-based language." @default.
• W1982262311 created "2016-06-24" @default.
• W1982262311 creator A5005585414 @default.
• W1982262311 creator A5009739199 @default.
• W1982262311 date "2004-07-13" @default.
• W1982262311 modified "2023-09-23" @default.
• W1982262311 title "Towards imperative modules: reasoning about invariants and sharing of mutable state" @default.
• W1982262311 cites W1489778371 @default.
• W1982262311 cites W1504633425 @default.
• W1982262311 cites W1510845095 @default.
• W1982262311 cites W1542792783 @default.
• W1982262311 cites W1556422878 @default.
• W1982262311 cites W1568894201 @default.
• W1982262311 cites W1573044584 @default.
• W1982262311 cites W1593874741 @default.
• W1982262311 cites W1649645444 @default.
• W1982262311 cites W1872021412 @default.
• W1982262311 cites W1903525885 @default.
• W1982262311 cites W1959256509 @default.
• W1982262311 cites W1998070736 @default.
• W1982262311 cites W2013368693 @default.
• W1982262311 cites W2035529004 @default.
• W1982262311 cites W2039330009 @default.
• W1982262311 cites W2069107692 @default.
• W1982262311 cites W2080769562 @default.
• W1982262311 cites W2097185397 @default.
• W1982262311 cites W2103591546 @default.
• W1982262311 cites W2104204098 @default.
• W1982262311 cites W2108379418 @default.
• W1982262311 cites W2118623138 @default.
• W1982262311 cites W2128180740 @default.
• W1982262311 cites W2132138104 @default.
• W1982262311 cites W2132638915 @default.
• W1982262311 cites W2135161869 @default.
• W1982262311 cites W2136371406 @default.
• W1982262311 cites W2137628566 @default.
• W1982262311 cites W2138652462 @default.
• W1982262311 cites W2138855072 @default.
• W1982262311 cites W2139722010 @default.
• W1982262311 cites W2151131364 @default.
• W1982262311 cites W2156428492 @default.
• W1982262311 cites W2160456755 @default.
• W1982262311 cites W2171685273 @default.
• W1982262311 cites W2478146632 @default.
• W1982262311 cites W605212316 @default.
• W1982262311 doi "https://doi.org/10.1109/lics.2004.49" @default.
• W1982262311 hasPublicationYear "2004" @default.
• W1982262311 type Work @default.
• W1982262311 sameAs 1982262311 @default.
• W1982262311 citedByCount "6" @default.
• W1982262311 countsByYear W19822623112012 @default.
• W1982262311 crossrefType "proceedings-article" @default.
• W1982262311 hasAuthorship W1982262311A5005585414 @default.
• W1982262311 hasAuthorship W1982262311A5009739199 @default.
• W1982262311 hasConcept C101468663 @default.
• W1982262311 hasConcept C107457646 @default.
• W1982262311 hasConcept C120314980 @default.
• W1982262311 hasConcept C154945302 @default.
• W1982262311 hasConcept C173856430 @default.
• W1982262311 hasConcept C17744445 @default.
• W1982262311 hasConcept C199360897 @default.
• W1982262311 hasConcept C199539241 @default.
• W1982262311 hasConcept C199776023 @default.
• W1982262311 hasConcept C2777212361 @default.
• W1982262311 hasConcept C2780920095 @default.
• W1982262311 hasConcept C2781238097 @default.
• W1982262311 hasConcept C38652104 @default.
• W1982262311 hasConcept C41008148 @default.
• W1982262311 hasConcept C48103436 @default.
• W1982262311 hasConcept C73752529 @default.
• W1982262311 hasConcept C80444323 @default.
• W1982262311 hasConcept C81147070 @default.
• W1982262311 hasConceptScore W1982262311C101468663 @default.
• W1982262311 hasConceptScore W1982262311C107457646 @default.
• W1982262311 hasConceptScore W1982262311C120314980 @default.
• W1982262311 hasConceptScore W1982262311C154945302 @default.
• W1982262311 hasConceptScore W1982262311C173856430 @default.
• W1982262311 hasConceptScore W1982262311C17744445 @default.
• W1982262311 hasConceptScore W1982262311C199360897 @default.
• W1982262311 hasConceptScore W1982262311C199539241 @default.
• W1982262311 hasConceptScore W1982262311C199776023 @default.
• W1982262311 hasConceptScore W1982262311C2777212361 @default.
• W1982262311 hasConceptScore W1982262311C2780920095 @default.
• W1982262311 hasConceptScore W1982262311C2781238097 @default.
• W1982262311 hasConceptScore W1982262311C38652104 @default.
• W1982262311 hasConceptScore W1982262311C41008148 @default.
• W1982262311 hasConceptScore W1982262311C48103436 @default.
• W1982262311 hasConceptScore W1982262311C73752529 @default.
• W1982262311 hasConceptScore W1982262311C80444323 @default.
• W1982262311 hasConceptScore W1982262311C81147070 @default.
• W1982262311 hasLocation W19822623111 @default.
• W1982262311 hasOpenAccess W1982262311 @default.
• W1982262311 hasPrimaryLocation W19822623111 @default.
• W1982262311 hasRelatedWork W117888344 @default.
• W1982262311 hasRelatedWork W1489778371 @default.
• W1982262311 hasRelatedWork W1502533643 @default.
• W1982262311 hasRelatedWork W1510845095 @default.
• W1982262311 hasRelatedWork W1573044584 @default.

• next