Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569690296> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1569690296 endingPage "554" @default.
- W1569690296 startingPage "539" @default.
- W1569690296 abstract "We consider the framework of regular tree model checking where sets of configurations of a system are represented by regular tree languages and its dynamics is modeled by a term rewriting system (or a regular tree transducer). We focus on the computation of the reachability set R* (L) where R is a regular tree transducer and L is a regular tree language. The construction of this set is not possible in general. Therefore, we present a general acceleration technique, called regular tree widening which allows to speed up the convergence of iterative fixpoint computations in regular tree model checking. This technique can be applied uniformly to various kinds of transformations. We show the application of our framework to different analysis contexts: verification of parametrized tree networks and data-flow analysis of multithreaded programs. Parametrized networks are modeled by relabeling tree transducers, and multithreaded programs are modeled by term rewriting rules encoding transformations on control structures. We prove that our widening technique can emulate many existing algorithms for special classes of transformations and we show that it can deal with transformations beyond the scope of these algorithms." @default.
- W1569690296 created "2016-06-24" @default.
- W1569690296 creator A5044579457 @default.
- W1569690296 creator A5045477471 @default.
- W1569690296 date "2002-01-01" @default.
- W1569690296 modified "2023-10-01" @default.
- W1569690296 title "Extrapolating Tree Transformations" @default.
- W1569690296 cites W1530940145 @default.
- W1569690296 cites W1547793878 @default.
- W1569690296 cites W1566807398 @default.
- W1569690296 cites W1569690296 @default.
- W1569690296 cites W1573633114 @default.
- W1569690296 cites W1971521983 @default.
- W1569690296 cites W2002770083 @default.
- W1569690296 cites W2093576181 @default.
- W1569690296 cites W2121415300 @default.
- W1569690296 cites W2128521545 @default.
- W1569690296 cites W2132661148 @default.
- W1569690296 cites W2147248565 @default.
- W1569690296 cites W2150256214 @default.
- W1569690296 cites W2506072766 @default.
- W1569690296 doi "https://doi.org/10.1007/3-540-45657-0_46" @default.
- W1569690296 hasPublicationYear "2002" @default.
- W1569690296 type Work @default.
- W1569690296 sameAs 1569690296 @default.
- W1569690296 citedByCount "48" @default.
- W1569690296 countsByYear W15696902962012 @default.
- W1569690296 countsByYear W15696902962013 @default.
- W1569690296 countsByYear W15696902962016 @default.
- W1569690296 countsByYear W15696902962018 @default.
- W1569690296 crossrefType "book-chapter" @default.
- W1569690296 hasAuthorship W1569690296A5044579457 @default.
- W1569690296 hasAuthorship W1569690296A5045477471 @default.
- W1569690296 hasBestOaLocation W15696902961 @default.
- W1569690296 hasConcept C110251889 @default.
- W1569690296 hasConcept C113174947 @default.
- W1569690296 hasConcept C11413529 @default.
- W1569690296 hasConcept C120665830 @default.
- W1569690296 hasConcept C121332964 @default.
- W1569690296 hasConcept C134306372 @default.
- W1569690296 hasConcept C136643341 @default.
- W1569690296 hasConcept C154690210 @default.
- W1569690296 hasConcept C177264268 @default.
- W1569690296 hasConcept C192209626 @default.
- W1569690296 hasConcept C199360897 @default.
- W1569690296 hasConcept C33923547 @default.
- W1569690296 hasConcept C41008148 @default.
- W1569690296 hasConcept C45374587 @default.
- W1569690296 hasConcept C80444323 @default.
- W1569690296 hasConceptScore W1569690296C110251889 @default.
- W1569690296 hasConceptScore W1569690296C113174947 @default.
- W1569690296 hasConceptScore W1569690296C11413529 @default.
- W1569690296 hasConceptScore W1569690296C120665830 @default.
- W1569690296 hasConceptScore W1569690296C121332964 @default.
- W1569690296 hasConceptScore W1569690296C134306372 @default.
- W1569690296 hasConceptScore W1569690296C136643341 @default.
- W1569690296 hasConceptScore W1569690296C154690210 @default.
- W1569690296 hasConceptScore W1569690296C177264268 @default.
- W1569690296 hasConceptScore W1569690296C192209626 @default.
- W1569690296 hasConceptScore W1569690296C199360897 @default.
- W1569690296 hasConceptScore W1569690296C33923547 @default.
- W1569690296 hasConceptScore W1569690296C41008148 @default.
- W1569690296 hasConceptScore W1569690296C45374587 @default.
- W1569690296 hasConceptScore W1569690296C80444323 @default.
- W1569690296 hasLocation W15696902961 @default.
- W1569690296 hasLocation W15696902962 @default.
- W1569690296 hasOpenAccess W1569690296 @default.
- W1569690296 hasPrimaryLocation W15696902961 @default.
- W1569690296 hasRelatedWork W1986369088 @default.
- W1569690296 hasRelatedWork W2146005157 @default.
- W1569690296 hasRelatedWork W2168315159 @default.
- W1569690296 hasRelatedWork W2620325808 @default.
- W1569690296 hasRelatedWork W2751754194 @default.
- W1569690296 hasRelatedWork W2786605369 @default.
- W1569690296 hasRelatedWork W2946466316 @default.
- W1569690296 hasRelatedWork W4221101132 @default.
- W1569690296 hasRelatedWork W4327810347 @default.
- W1569690296 hasRelatedWork W92641534 @default.
- W1569690296 isParatext "false" @default.
- W1569690296 isRetracted "false" @default.
- W1569690296 magId "1569690296" @default.
- W1569690296 workType "book-chapter" @default.