Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952259356> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2952259356 abstract "Logical reasoning about program data often requires dealing with heap structures as well as scalar data types. Recent advances in Satisfiability Modular Theory (SMT) already offer efficient procedures for dealing with scalars, yet they lack any support for dealing with heap structures. In this paper, we present an approach that integrates Separation Logic---a prominent logic for reasoning about list segments on the heap---and SMT. We follow a model-based approach that communicates aliasing among heap cells between the SMT solver and the Separation Logic reasoning part. An experimental evaluation using the Z3 solver indicates that our approach can effectively put to work the advances in SMT for dealing with heap structures. This is the first decision procedure for the combination of separation logic with SMT theories." @default.
- W2952259356 created "2019-06-27" @default.
- W2952259356 creator A5044737952 @default.
- W2952259356 creator A5051682745 @default.
- W2952259356 date "2013-03-11" @default.
- W2952259356 modified "2023-09-27" @default.
- W2952259356 title "Separation Logic Modulo Theories" @default.
- W2952259356 cites W135237429 @default.
- W2952259356 cites W1507112684 @default.
- W2952259356 cites W1508482211 @default.
- W2952259356 cites W1508811155 @default.
- W2952259356 cites W1546878666 @default.
- W2952259356 cites W1549217957 @default.
- W2952259356 cites W189569203 @default.
- W2952259356 cites W2043100293 @default.
- W2952259356 cites W2055477538 @default.
- W2952259356 cites W2091968063 @default.
- W2952259356 cites W2097958972 @default.
- W2952259356 cites W2106229114 @default.
- W2952259356 cites W2108611287 @default.
- W2952259356 cites W2110780548 @default.
- W2952259356 cites W2130162474 @default.
- W2952259356 cites W2137628566 @default.
- W2952259356 cites W2152686702 @default.
- W2952259356 cites W2154985136 @default.
- W2952259356 cites W92576581 @default.
- W2952259356 cites W2473520598 @default.
- W2952259356 hasPublicationYear "2013" @default.
- W2952259356 type Work @default.
- W2952259356 sameAs 2952259356 @default.
- W2952259356 citedByCount "1" @default.
- W2952259356 countsByYear W29522593562014 @default.
- W2952259356 crossrefType "posted-content" @default.
- W2952259356 hasAuthorship W2952259356A5044737952 @default.
- W2952259356 hasAuthorship W2952259356A5051682745 @default.
- W2952259356 hasConcept C114614502 @default.
- W2952259356 hasConcept C134757568 @default.
- W2952259356 hasConcept C164155591 @default.
- W2952259356 hasConcept C173856430 @default.
- W2952259356 hasConcept C199360897 @default.
- W2952259356 hasConcept C33923547 @default.
- W2952259356 hasConcept C41008148 @default.
- W2952259356 hasConcept C54732982 @default.
- W2952259356 hasConcept C6943359 @default.
- W2952259356 hasConcept C80444323 @default.
- W2952259356 hasConceptScore W2952259356C114614502 @default.
- W2952259356 hasConceptScore W2952259356C134757568 @default.
- W2952259356 hasConceptScore W2952259356C164155591 @default.
- W2952259356 hasConceptScore W2952259356C173856430 @default.
- W2952259356 hasConceptScore W2952259356C199360897 @default.
- W2952259356 hasConceptScore W2952259356C33923547 @default.
- W2952259356 hasConceptScore W2952259356C41008148 @default.
- W2952259356 hasConceptScore W2952259356C54732982 @default.
- W2952259356 hasConceptScore W2952259356C6943359 @default.
- W2952259356 hasConceptScore W2952259356C80444323 @default.
- W2952259356 hasLocation W29522593561 @default.
- W2952259356 hasOpenAccess W2952259356 @default.
- W2952259356 hasPrimaryLocation W29522593561 @default.
- W2952259356 hasRelatedWork W135237429 @default.
- W2952259356 hasRelatedWork W1495368328 @default.
- W2952259356 hasRelatedWork W1538691881 @default.
- W2952259356 hasRelatedWork W1580779595 @default.
- W2952259356 hasRelatedWork W1841862047 @default.
- W2952259356 hasRelatedWork W1847289122 @default.
- W2952259356 hasRelatedWork W1895616280 @default.
- W2952259356 hasRelatedWork W1910824881 @default.
- W2952259356 hasRelatedWork W2102928769 @default.
- W2952259356 hasRelatedWork W2108611287 @default.
- W2952259356 hasRelatedWork W2115873373 @default.
- W2952259356 hasRelatedWork W2130162474 @default.
- W2952259356 hasRelatedWork W2137628566 @default.
- W2952259356 hasRelatedWork W2168916522 @default.
- W2952259356 hasRelatedWork W2181649107 @default.
- W2952259356 hasRelatedWork W2742433495 @default.
- W2952259356 hasRelatedWork W2959755401 @default.
- W2952259356 hasRelatedWork W3005697229 @default.
- W2952259356 hasRelatedWork W3159591440 @default.
- W2952259356 hasRelatedWork W55591046 @default.
- W2952259356 isParatext "false" @default.
- W2952259356 isRetracted "false" @default.
- W2952259356 magId "2952259356" @default.
- W2952259356 workType "article" @default.