Matches in SemOpenAlex for { <https://semopenalex.org/work/W2136340655> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2136340655 abstract "Confined separation logic is a new extension to separation logic designed to deal with problems involving dangling references within shared mutable structures. In particular, it allows for reasoning about confinement in object-oriented programs. In this paper, we discuss the semantics of such an extension by defining a relational model for the overall logic, parametric on the shapes of both the store and the heap. This model provides a simple and elegant interpretation of the new confinement connectives and helps in seeking for duals. A number of properties of this logic are proved calculationally." @default.
- W2136340655 created "2016-06-24" @default.
- W2136340655 creator A5062334330 @default.
- W2136340655 creator A5070407243 @default.
- W2136340655 creator A5083737680 @default.
- W2136340655 date "2008-06-01" @default.
- W2136340655 modified "2023-10-18" @default.
- W2136340655 title "A Relational Model for Confined Separation Logic" @default.
- W2136340655 cites W1763481740 @default.
- W2136340655 cites W1776012237 @default.
- W2136340655 cites W1887332367 @default.
- W2136340655 cites W2003820289 @default.
- W2136340655 cites W2018944629 @default.
- W2136340655 cites W2030601112 @default.
- W2136340655 cites W2073407646 @default.
- W2136340655 cites W2115974895 @default.
- W2136340655 cites W2132761501 @default.
- W2136340655 cites W2137628566 @default.
- W2136340655 cites W2149996206 @default.
- W2136340655 cites W2151961331 @default.
- W2136340655 cites W2171685273 @default.
- W2136340655 cites W4237645110 @default.
- W2136340655 doi "https://doi.org/10.1109/tase.2008.38" @default.
- W2136340655 hasPublicationYear "2008" @default.
- W2136340655 type Work @default.
- W2136340655 sameAs 2136340655 @default.
- W2136340655 citedByCount "9" @default.
- W2136340655 countsByYear W21363406552012 @default.
- W2136340655 countsByYear W21363406552013 @default.
- W2136340655 countsByYear W21363406552015 @default.
- W2136340655 countsByYear W21363406552016 @default.
- W2136340655 crossrefType "proceedings-article" @default.
- W2136340655 hasAuthorship W2136340655A5062334330 @default.
- W2136340655 hasAuthorship W2136340655A5070407243 @default.
- W2136340655 hasAuthorship W2136340655A5083737680 @default.
- W2136340655 hasBestOaLocation W21363406552 @default.
- W2136340655 hasConcept C105313907 @default.
- W2136340655 hasConcept C134757568 @default.
- W2136340655 hasConcept C173856430 @default.
- W2136340655 hasConcept C184337299 @default.
- W2136340655 hasConcept C199360897 @default.
- W2136340655 hasConcept C202444582 @default.
- W2136340655 hasConcept C2778029271 @default.
- W2136340655 hasConcept C33923547 @default.
- W2136340655 hasConcept C41008148 @default.
- W2136340655 hasConcept C80444323 @default.
- W2136340655 hasConceptScore W2136340655C105313907 @default.
- W2136340655 hasConceptScore W2136340655C134757568 @default.
- W2136340655 hasConceptScore W2136340655C173856430 @default.
- W2136340655 hasConceptScore W2136340655C184337299 @default.
- W2136340655 hasConceptScore W2136340655C199360897 @default.
- W2136340655 hasConceptScore W2136340655C202444582 @default.
- W2136340655 hasConceptScore W2136340655C2778029271 @default.
- W2136340655 hasConceptScore W2136340655C33923547 @default.
- W2136340655 hasConceptScore W2136340655C41008148 @default.
- W2136340655 hasConceptScore W2136340655C80444323 @default.
- W2136340655 hasLocation W21363406551 @default.
- W2136340655 hasLocation W21363406552 @default.
- W2136340655 hasOpenAccess W2136340655 @default.
- W2136340655 hasPrimaryLocation W21363406551 @default.
- W2136340655 hasRelatedWork W1587224678 @default.
- W2136340655 hasRelatedWork W1778728081 @default.
- W2136340655 hasRelatedWork W2047793074 @default.
- W2136340655 hasRelatedWork W2090686886 @default.
- W2136340655 hasRelatedWork W2111558906 @default.
- W2136340655 hasRelatedWork W2118877810 @default.
- W2136340655 hasRelatedWork W288103726 @default.
- W2136340655 hasRelatedWork W4236538466 @default.
- W2136340655 hasRelatedWork W4250918063 @default.
- W2136340655 hasRelatedWork W56863910 @default.
- W2136340655 isParatext "false" @default.
- W2136340655 isRetracted "false" @default.
- W2136340655 magId "2136340655" @default.
- W2136340655 workType "article" @default.