Matches in SemOpenAlex for { <https://semopenalex.org/work/W1551360145> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1551360145 abstract "This paper shows how to harness decision procedures to automatically verify safety properties of imperative programs that perform dynamic storage allocation and destructive updating of structure fields. Decidable logics that can express reachability properties are used to state properties of linked data structures, while guaranteeing that the verification method always terminates. The main technical contribution is a method of structure simulation in which a set of original structures that we wish to model, e.g., doubly linked lists, nested linked lists, binary trees, etc., are mapped to a set of tractable structures that can be reasoned about using decidable logics. Decidable logics that can express reachability are rather limited in the data structures that they can directly model. For instance, our examples use the logic MSO-E, which can only model function graphs; however, the simulation technique provides an indirect way to model additional data structures." @default.
- W1551360145 created "2016-06-24" @default.
- W1551360145 creator A5002512849 @default.
- W1551360145 creator A5007681536 @default.
- W1551360145 creator A5053534030 @default.
- W1551360145 creator A5066155126 @default.
- W1551360145 creator A5087060174 @default.
- W1551360145 date "2004-01-01" @default.
- W1551360145 modified "2023-10-17" @default.
- W1551360145 title "Verification via Structure Simulation" @default.
- W1551360145 cites W1485718948 @default.
- W1551360145 cites W1500085611 @default.
- W1551360145 cites W1575079504 @default.
- W1551360145 cites W1851346840 @default.
- W1551360145 cites W2028074529 @default.
- W1551360145 cites W2030697178 @default.
- W1551360145 cites W2058460214 @default.
- W1551360145 cites W2137500339 @default.
- W1551360145 cites W3023216518 @default.
- W1551360145 cites W4231090099 @default.
- W1551360145 cites W4236835455 @default.
- W1551360145 doi "https://doi.org/10.1007/978-3-540-27813-9_22" @default.
- W1551360145 hasPublicationYear "2004" @default.
- W1551360145 type Work @default.
- W1551360145 sameAs 1551360145 @default.
- W1551360145 citedByCount "25" @default.
- W1551360145 crossrefType "book-chapter" @default.
- W1551360145 hasAuthorship W1551360145A5002512849 @default.
- W1551360145 hasAuthorship W1551360145A5007681536 @default.
- W1551360145 hasAuthorship W1551360145A5053534030 @default.
- W1551360145 hasAuthorship W1551360145A5066155126 @default.
- W1551360145 hasAuthorship W1551360145A5087060174 @default.
- W1551360145 hasBestOaLocation W15513601451 @default.
- W1551360145 hasConcept C110251889 @default.
- W1551360145 hasConcept C11413529 @default.
- W1551360145 hasConcept C136643341 @default.
- W1551360145 hasConcept C14036430 @default.
- W1551360145 hasConcept C153269930 @default.
- W1551360145 hasConcept C162319229 @default.
- W1551360145 hasConcept C177264268 @default.
- W1551360145 hasConcept C199360897 @default.
- W1551360145 hasConcept C2777669093 @default.
- W1551360145 hasConcept C3309909 @default.
- W1551360145 hasConcept C41008148 @default.
- W1551360145 hasConcept C78458016 @default.
- W1551360145 hasConcept C80444323 @default.
- W1551360145 hasConcept C86803240 @default.
- W1551360145 hasConceptScore W1551360145C110251889 @default.
- W1551360145 hasConceptScore W1551360145C11413529 @default.
- W1551360145 hasConceptScore W1551360145C136643341 @default.
- W1551360145 hasConceptScore W1551360145C14036430 @default.
- W1551360145 hasConceptScore W1551360145C153269930 @default.
- W1551360145 hasConceptScore W1551360145C162319229 @default.
- W1551360145 hasConceptScore W1551360145C177264268 @default.
- W1551360145 hasConceptScore W1551360145C199360897 @default.
- W1551360145 hasConceptScore W1551360145C2777669093 @default.
- W1551360145 hasConceptScore W1551360145C3309909 @default.
- W1551360145 hasConceptScore W1551360145C41008148 @default.
- W1551360145 hasConceptScore W1551360145C78458016 @default.
- W1551360145 hasConceptScore W1551360145C80444323 @default.
- W1551360145 hasConceptScore W1551360145C86803240 @default.
- W1551360145 hasLocation W15513601451 @default.
- W1551360145 hasLocation W15513601452 @default.
- W1551360145 hasOpenAccess W1551360145 @default.
- W1551360145 hasPrimaryLocation W15513601451 @default.
- W1551360145 hasRelatedWork W1532058475 @default.
- W1551360145 hasRelatedWork W1652311832 @default.
- W1551360145 hasRelatedWork W2118300983 @default.
- W1551360145 hasRelatedWork W2135396778 @default.
- W1551360145 hasRelatedWork W2166247150 @default.
- W1551360145 hasRelatedWork W2243428364 @default.
- W1551360145 hasRelatedWork W2462453872 @default.
- W1551360145 hasRelatedWork W3207171446 @default.
- W1551360145 hasRelatedWork W4243252198 @default.
- W1551360145 hasRelatedWork W4245713008 @default.
- W1551360145 isParatext "false" @default.
- W1551360145 isRetracted "false" @default.
- W1551360145 magId "1551360145" @default.
- W1551360145 workType "book-chapter" @default.