Matches in SemOpenAlex for { <https://semopenalex.org/work/W2487992810> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2487992810 endingPage "531" @default.
- W2487992810 startingPage "517" @default.
- W2487992810 abstract "We address the verification problem of programs manipulating one-selector linked data structures. We propose a new automated approach for checking safety and termination for these programs. Our approach is based on using counter automata as accurate abstract models: control states correspond to abstract heap graphs where list segments without sharing are collapsed, and counters are used to keep track of the number of elements in these segments. This allows to apply automatic analysis techniques and tools for counter automata in order to verify list programs. We show the effectiveness of our approach, in particular by verifying automatically termination of some sorting programs." @default.
- W2487992810 created "2016-08-23" @default.
- W2487992810 creator A5005128087 @default.
- W2487992810 creator A5016102942 @default.
- W2487992810 creator A5020750660 @default.
- W2487992810 creator A5031809894 @default.
- W2487992810 creator A5045477471 @default.
- W2487992810 creator A5054351430 @default.
- W2487992810 date "2006-01-01" @default.
- W2487992810 modified "2023-10-12" @default.
- W2487992810 title "Programs with Lists Are Counter Automata" @default.
- W2487992810 cites W1503537039 @default.
- W2487992810 cites W1533299090 @default.
- W2487992810 cites W1537003042 @default.
- W2487992810 cites W1546101340 @default.
- W2487992810 cites W1552505815 @default.
- W2487992810 cites W1577233792 @default.
- W2487992810 cites W1860772589 @default.
- W2487992810 cites W1973084945 @default.
- W2487992810 cites W1991837261 @default.
- W2487992810 cites W1997268799 @default.
- W2487992810 cites W2043100293 @default.
- W2487992810 cites W2108611287 @default.
- W2487992810 cites W2121365859 @default.
- W2487992810 cites W2139748880 @default.
- W2487992810 cites W2487992810 @default.
- W2487992810 cites W4256027310 @default.
- W2487992810 doi "https://doi.org/10.1007/11817963_47" @default.
- W2487992810 hasPublicationYear "2006" @default.
- W2487992810 type Work @default.
- W2487992810 sameAs 2487992810 @default.
- W2487992810 citedByCount "57" @default.
- W2487992810 countsByYear W24879928102012 @default.
- W2487992810 countsByYear W24879928102013 @default.
- W2487992810 countsByYear W24879928102014 @default.
- W2487992810 countsByYear W24879928102015 @default.
- W2487992810 countsByYear W24879928102016 @default.
- W2487992810 countsByYear W24879928102018 @default.
- W2487992810 countsByYear W24879928102020 @default.
- W2487992810 crossrefType "book-chapter" @default.
- W2487992810 hasAuthorship W2487992810A5005128087 @default.
- W2487992810 hasAuthorship W2487992810A5016102942 @default.
- W2487992810 hasAuthorship W2487992810A5020750660 @default.
- W2487992810 hasAuthorship W2487992810A5031809894 @default.
- W2487992810 hasAuthorship W2487992810A5045477471 @default.
- W2487992810 hasAuthorship W2487992810A5054351430 @default.
- W2487992810 hasBestOaLocation W24879928101 @default.
- W2487992810 hasConcept C112505250 @default.
- W2487992810 hasConcept C11413529 @default.
- W2487992810 hasConcept C134757568 @default.
- W2487992810 hasConcept C173856430 @default.
- W2487992810 hasConcept C199360897 @default.
- W2487992810 hasConcept C41008148 @default.
- W2487992810 hasConcept C80444323 @default.
- W2487992810 hasConceptScore W2487992810C112505250 @default.
- W2487992810 hasConceptScore W2487992810C11413529 @default.
- W2487992810 hasConceptScore W2487992810C134757568 @default.
- W2487992810 hasConceptScore W2487992810C173856430 @default.
- W2487992810 hasConceptScore W2487992810C199360897 @default.
- W2487992810 hasConceptScore W2487992810C41008148 @default.
- W2487992810 hasConceptScore W2487992810C80444323 @default.
- W2487992810 hasLocation W24879928101 @default.
- W2487992810 hasLocation W24879928102 @default.
- W2487992810 hasLocation W24879928103 @default.
- W2487992810 hasLocation W24879928104 @default.
- W2487992810 hasLocation W24879928105 @default.
- W2487992810 hasLocation W24879928106 @default.
- W2487992810 hasLocation W24879928107 @default.
- W2487992810 hasLocation W24879928108 @default.
- W2487992810 hasOpenAccess W2487992810 @default.
- W2487992810 hasPrimaryLocation W24879928101 @default.
- W2487992810 hasRelatedWork W1481101394 @default.
- W2487992810 hasRelatedWork W1790417275 @default.
- W2487992810 hasRelatedWork W2165970356 @default.
- W2487992810 hasRelatedWork W2186600819 @default.
- W2487992810 hasRelatedWork W2594835963 @default.
- W2487992810 hasRelatedWork W2950271872 @default.
- W2487992810 hasRelatedWork W4283582377 @default.
- W2487992810 hasRelatedWork W4287240968 @default.
- W2487992810 hasRelatedWork W4296607663 @default.
- W2487992810 hasRelatedWork W62586952 @default.
- W2487992810 isParatext "false" @default.
- W2487992810 isRetracted "false" @default.
- W2487992810 magId "2487992810" @default.
- W2487992810 workType "book-chapter" @default.