Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301322018> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W4301322018 endingPage "487" @default.
- W4301322018 startingPage "473" @default.
- W4301322018 abstract "We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems.We address the problem of symbolic reachability analysis for these models. More precisely, we consider the problem of computing effective representations of their reachability sets using finite-state automata. We show that, while forward reachability sets are not regular in general, backward reachability sets starting from regular sets of configurations are always regular. We provide algorithms for computing backward reachability sets using word/tree automata, and show how these algorithms can be applied for flow analysis of multithreaded programs." @default.
- W4301322018 created "2022-10-05" @default.
- W4301322018 creator A5044579457 @default.
- W4301322018 creator A5045477471 @default.
- W4301322018 creator A5070224469 @default.
- W4301322018 date "2005-01-01" @default.
- W4301322018 modified "2023-10-17" @default.
- W4301322018 title "Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems" @default.
- W4301322018 cites W1493367105 @default.
- W4301322018 cites W1508979488 @default.
- W4301322018 cites W1526231760 @default.
- W4301322018 cites W1560595963 @default.
- W4301322018 cites W2073475094 @default.
- W4301322018 cites W2124535049 @default.
- W4301322018 cites W2720631021 @default.
- W4301322018 cites W4244719572 @default.
- W4301322018 cites W4301322018 @default.
- W4301322018 doi "https://doi.org/10.1007/11539452_36" @default.
- W4301322018 hasPublicationYear "2005" @default.
- W4301322018 type Work @default.
- W4301322018 citedByCount "76" @default.
- W4301322018 countsByYear W43013220182012 @default.
- W4301322018 countsByYear W43013220182013 @default.
- W4301322018 countsByYear W43013220182014 @default.
- W4301322018 countsByYear W43013220182015 @default.
- W4301322018 countsByYear W43013220182016 @default.
- W4301322018 countsByYear W43013220182017 @default.
- W4301322018 countsByYear W43013220182018 @default.
- W4301322018 countsByYear W43013220182019 @default.
- W4301322018 countsByYear W43013220182020 @default.
- W4301322018 countsByYear W43013220182023 @default.
- W4301322018 crossrefType "book-chapter" @default.
- W4301322018 hasAuthorship W4301322018A5044579457 @default.
- W4301322018 hasAuthorship W4301322018A5045477471 @default.
- W4301322018 hasAuthorship W4301322018A5070224469 @default.
- W4301322018 hasConcept C110251889 @default.
- W4301322018 hasConcept C112505250 @default.
- W4301322018 hasConcept C11413529 @default.
- W4301322018 hasConcept C116248031 @default.
- W4301322018 hasConcept C134083981 @default.
- W4301322018 hasConcept C136643341 @default.
- W4301322018 hasConcept C154945302 @default.
- W4301322018 hasConcept C167822520 @default.
- W4301322018 hasConcept C174327141 @default.
- W4301322018 hasConcept C27034413 @default.
- W4301322018 hasConcept C2777669093 @default.
- W4301322018 hasConcept C41008148 @default.
- W4301322018 hasConcept C53893814 @default.
- W4301322018 hasConcept C77944639 @default.
- W4301322018 hasConcept C80444323 @default.
- W4301322018 hasConcept C92117001 @default.
- W4301322018 hasConcept C97212296 @default.
- W4301322018 hasConceptScore W4301322018C110251889 @default.
- W4301322018 hasConceptScore W4301322018C112505250 @default.
- W4301322018 hasConceptScore W4301322018C11413529 @default.
- W4301322018 hasConceptScore W4301322018C116248031 @default.
- W4301322018 hasConceptScore W4301322018C134083981 @default.
- W4301322018 hasConceptScore W4301322018C136643341 @default.
- W4301322018 hasConceptScore W4301322018C154945302 @default.
- W4301322018 hasConceptScore W4301322018C167822520 @default.
- W4301322018 hasConceptScore W4301322018C174327141 @default.
- W4301322018 hasConceptScore W4301322018C27034413 @default.
- W4301322018 hasConceptScore W4301322018C2777669093 @default.
- W4301322018 hasConceptScore W4301322018C41008148 @default.
- W4301322018 hasConceptScore W4301322018C53893814 @default.
- W4301322018 hasConceptScore W4301322018C77944639 @default.
- W4301322018 hasConceptScore W4301322018C80444323 @default.
- W4301322018 hasConceptScore W4301322018C92117001 @default.
- W4301322018 hasConceptScore W4301322018C97212296 @default.
- W4301322018 hasLocation W43013220181 @default.
- W4301322018 hasLocation W43013220182 @default.
- W4301322018 hasLocation W43013220183 @default.
- W4301322018 hasOpenAccess W4301322018 @default.
- W4301322018 hasPrimaryLocation W43013220181 @default.
- W4301322018 hasRelatedWork W141877291 @default.
- W4301322018 hasRelatedWork W1589224558 @default.
- W4301322018 hasRelatedWork W1594689556 @default.
- W4301322018 hasRelatedWork W1976426006 @default.
- W4301322018 hasRelatedWork W2063384625 @default.
- W4301322018 hasRelatedWork W2128090891 @default.
- W4301322018 hasRelatedWork W2948751124 @default.
- W4301322018 hasRelatedWork W2952110185 @default.
- W4301322018 hasRelatedWork W3104704249 @default.
- W4301322018 hasRelatedWork W89384568 @default.
- W4301322018 isParatext "false" @default.
- W4301322018 isRetracted "false" @default.
- W4301322018 workType "book-chapter" @default.