Matches in SemOpenAlex for { <https://semopenalex.org/work/W2544553669> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2544553669 abstract "We present a new system of automation for separation logic in the interactive theorem prover Isabelle. The system is based on the recently developed auto2 prover, and follows a natural, saturation-based approach to reasoning about imperative programs. In addition to standard examples on linked lists and binary search trees, we apply the automation to red-black trees and indexed priority queues, showing that it provides a high degree of automation even on the more complicated data structures." @default.
- W2544553669 created "2016-11-04" @default.
- W2544553669 creator A5078226330 @default.
- W2544553669 date "2016-10-22" @default.
- W2544553669 modified "2023-09-27" @default.
- W2544553669 title "Automation of separation logic using auto2." @default.
- W2544553669 hasPublicationYear "2016" @default.
- W2544553669 type Work @default.
- W2544553669 sameAs 2544553669 @default.
- W2544553669 citedByCount "0" @default.
- W2544553669 crossrefType "posted-content" @default.
- W2544553669 hasAuthorship W2544553669A5078226330 @default.
- W2544553669 hasConcept C108710211 @default.
- W2544553669 hasConcept C115901376 @default.
- W2544553669 hasConcept C127413603 @default.
- W2544553669 hasConcept C159718280 @default.
- W2544553669 hasConcept C160403385 @default.
- W2544553669 hasConcept C173856430 @default.
- W2544553669 hasConcept C195344581 @default.
- W2544553669 hasConcept C199360897 @default.
- W2544553669 hasConcept C206880738 @default.
- W2544553669 hasConcept C2524010 @default.
- W2544553669 hasConcept C33923547 @default.
- W2544553669 hasConcept C41008148 @default.
- W2544553669 hasConcept C78519656 @default.
- W2544553669 hasConcept C80444323 @default.
- W2544553669 hasConceptScore W2544553669C108710211 @default.
- W2544553669 hasConceptScore W2544553669C115901376 @default.
- W2544553669 hasConceptScore W2544553669C127413603 @default.
- W2544553669 hasConceptScore W2544553669C159718280 @default.
- W2544553669 hasConceptScore W2544553669C160403385 @default.
- W2544553669 hasConceptScore W2544553669C173856430 @default.
- W2544553669 hasConceptScore W2544553669C195344581 @default.
- W2544553669 hasConceptScore W2544553669C199360897 @default.
- W2544553669 hasConceptScore W2544553669C206880738 @default.
- W2544553669 hasConceptScore W2544553669C2524010 @default.
- W2544553669 hasConceptScore W2544553669C33923547 @default.
- W2544553669 hasConceptScore W2544553669C41008148 @default.
- W2544553669 hasConceptScore W2544553669C78519656 @default.
- W2544553669 hasConceptScore W2544553669C80444323 @default.
- W2544553669 hasLocation W25445536691 @default.
- W2544553669 hasOpenAccess W2544553669 @default.
- W2544553669 hasPrimaryLocation W25445536691 @default.
- W2544553669 hasRelatedWork W1824790454 @default.
- W2544553669 hasRelatedWork W1883702554 @default.
- W2544553669 hasRelatedWork W1954117780 @default.
- W2544553669 hasRelatedWork W2036291758 @default.
- W2544553669 hasRelatedWork W2039870350 @default.
- W2544553669 hasRelatedWork W2062653699 @default.
- W2544553669 hasRelatedWork W2074285438 @default.
- W2544553669 hasRelatedWork W2099232008 @default.
- W2544553669 hasRelatedWork W2110276831 @default.
- W2544553669 hasRelatedWork W2155062053 @default.
- W2544553669 hasRelatedWork W2169862085 @default.
- W2544553669 hasRelatedWork W2547318924 @default.
- W2544553669 hasRelatedWork W2594835963 @default.
- W2544553669 hasRelatedWork W2600478067 @default.
- W2544553669 hasRelatedWork W2950160789 @default.
- W2544553669 hasRelatedWork W3016373772 @default.
- W2544553669 hasRelatedWork W3101557233 @default.
- W2544553669 hasRelatedWork W3166784586 @default.
- W2544553669 hasRelatedWork W37965492 @default.
- W2544553669 hasRelatedWork W2166319213 @default.
- W2544553669 isParatext "false" @default.
- W2544553669 isRetracted "false" @default.
- W2544553669 magId "2544553669" @default.
- W2544553669 workType "article" @default.