Matches in SemOpenAlex for { <https://semopenalex.org/work/W2564359929> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2564359929 abstract "We describe a formal verification framework and tool implementation, based upon cyclic proofs, for certifying the safe termination of imperative pointer programs with recursive procedures. Our assertions are symbolic heaps in separation logic with user defined inductive predicates; we employ explicit approximations of these predicates as our termination measures. This enables us to extend cyclic proof to programs with procedures by relating these measures across the pre- and postconditions of procedure calls." @default.
- W2564359929 created "2017-01-06" @default.
- W2564359929 creator A5025368137 @default.
- W2564359929 creator A5056648657 @default.
- W2564359929 date "2017-01-16" @default.
- W2564359929 modified "2023-09-28" @default.
- W2564359929 title "Automatic cyclic termination proofs for recursive procedures in separation logic" @default.
- W2564359929 cites W144022046 @default.
- W2564359929 cites W1556837122 @default.
- W2564359929 cites W1983496086 @default.
- W2564359929 cites W1992012690 @default.
- W2564359929 cites W1993129359 @default.
- W2564359929 cites W1996245589 @default.
- W2564359929 cites W1999823887 @default.
- W2564359929 cites W2003383232 @default.
- W2564359929 cites W2014496562 @default.
- W2564359929 cites W2085428535 @default.
- W2564359929 cites W2108611287 @default.
- W2564359929 cites W2130162474 @default.
- W2564359929 cites W2136242294 @default.
- W2564359929 cites W2264729369 @default.
- W2564359929 cites W2284409231 @default.
- W2564359929 cites W2344539696 @default.
- W2564359929 doi "https://doi.org/10.1145/3018610.3018623" @default.
- W2564359929 hasPublicationYear "2017" @default.
- W2564359929 type Work @default.
- W2564359929 sameAs 2564359929 @default.
- W2564359929 citedByCount "28" @default.
- W2564359929 countsByYear W25643599292017 @default.
- W2564359929 countsByYear W25643599292018 @default.
- W2564359929 countsByYear W25643599292019 @default.
- W2564359929 countsByYear W25643599292020 @default.
- W2564359929 countsByYear W25643599292021 @default.
- W2564359929 countsByYear W25643599292022 @default.
- W2564359929 countsByYear W25643599292023 @default.
- W2564359929 crossrefType "proceedings-article" @default.
- W2564359929 hasAuthorship W2564359929A5025368137 @default.
- W2564359929 hasAuthorship W2564359929A5056648657 @default.
- W2564359929 hasBestOaLocation W25643599291 @default.
- W2564359929 hasConcept C108710211 @default.
- W2564359929 hasConcept C111498074 @default.
- W2564359929 hasConcept C11413529 @default.
- W2564359929 hasConcept C150202949 @default.
- W2564359929 hasConcept C154945302 @default.
- W2564359929 hasConcept C173856430 @default.
- W2564359929 hasConcept C199360897 @default.
- W2564359929 hasConcept C2318724 @default.
- W2564359929 hasConcept C2524010 @default.
- W2564359929 hasConcept C2777904410 @default.
- W2564359929 hasConcept C2779639559 @default.
- W2564359929 hasConcept C33923547 @default.
- W2564359929 hasConcept C41008148 @default.
- W2564359929 hasConcept C75606506 @default.
- W2564359929 hasConcept C80444323 @default.
- W2564359929 hasConceptScore W2564359929C108710211 @default.
- W2564359929 hasConceptScore W2564359929C111498074 @default.
- W2564359929 hasConceptScore W2564359929C11413529 @default.
- W2564359929 hasConceptScore W2564359929C150202949 @default.
- W2564359929 hasConceptScore W2564359929C154945302 @default.
- W2564359929 hasConceptScore W2564359929C173856430 @default.
- W2564359929 hasConceptScore W2564359929C199360897 @default.
- W2564359929 hasConceptScore W2564359929C2318724 @default.
- W2564359929 hasConceptScore W2564359929C2524010 @default.
- W2564359929 hasConceptScore W2564359929C2777904410 @default.
- W2564359929 hasConceptScore W2564359929C2779639559 @default.
- W2564359929 hasConceptScore W2564359929C33923547 @default.
- W2564359929 hasConceptScore W2564359929C41008148 @default.
- W2564359929 hasConceptScore W2564359929C75606506 @default.
- W2564359929 hasConceptScore W2564359929C80444323 @default.
- W2564359929 hasFunder F4320334627 @default.
- W2564359929 hasLocation W25643599291 @default.
- W2564359929 hasLocation W25643599292 @default.
- W2564359929 hasLocation W25643599293 @default.
- W2564359929 hasLocation W25643599294 @default.
- W2564359929 hasOpenAccess W2564359929 @default.
- W2564359929 hasPrimaryLocation W25643599291 @default.
- W2564359929 hasRelatedWork W1591738378 @default.
- W2564359929 hasRelatedWork W2512021169 @default.
- W2564359929 hasRelatedWork W2520382536 @default.
- W2564359929 hasRelatedWork W2522419648 @default.
- W2564359929 hasRelatedWork W2564359929 @default.
- W2564359929 hasRelatedWork W2899100898 @default.
- W2564359929 hasRelatedWork W2951452824 @default.
- W2564359929 hasRelatedWork W3022995266 @default.
- W2564359929 hasRelatedWork W3190680636 @default.
- W2564359929 hasRelatedWork W4297911822 @default.
- W2564359929 isParatext "false" @default.
- W2564359929 isRetracted "false" @default.
- W2564359929 magId "2564359929" @default.
- W2564359929 workType "article" @default.