FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1796765441> ?p ?o ?g. }

• W1796765441 endingPage "82" @default.
• W1796765441 startingPage "67" @default.
• W1796765441 abstract "Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that a given term is reachable from a set of input terms, provides an efficient verification technique. Using a tree automata completion technique, it has been shown that the non reachability of a term tcan be verified by computing an over-approximation of the set of reachable terms and proving that tis not in the over-approximation. Since the verification of real programs gives rise to rewrite models of significant size, efficient implementations of completion are essential. We present in this paper a TRS transformation preserving the reachability analysis by tree automata completion. This transformation makes the completion implementation based on rewriting techniques possible. Thus, the reduction of a term to a state by a tree automaton is fully handled by rewriting. This approach has been prototyped in Tom , a language extension which adds rewriting primitives to Java . The first experiments are very promising relative to the state-of-the-art tool Timbuk ." @default.
• W1796765441 created "2016-06-24" @default.
• W1796765441 creator A5003284636 @default.
• W1796765441 creator A5040486548 @default.
• W1796765441 creator A5049597004 @default.
• W1796765441 creator A5083096567 @default.
• W1796765441 date "2008-07-28" @default.
• W1796765441 modified "2023-09-25" @default.
• W1796765441 title "Towards an Efficient Implementation of Tree Automata Completion" @default.
• W1796765441 cites W1483180838 @default.
• W1796765441 cites W1531715723 @default.
• W1796765441 cites W1532452539 @default.
• W1796765441 cites W1566807398 @default.
• W1796765441 cites W1567531241 @default.
• W1796765441 cites W2088129830 @default.
• W1796765441 cites W2097974511 @default.
• W1796765441 cites W2116128461 @default.
• W1796765441 cites W3022794709 @default.
• W1796765441 cites W4230919050 @default.
• W1796765441 doi "https://doi.org/10.1007/978-3-540-79980-1_6" @default.
• W1796765441 hasPublicationYear "2008" @default.
• W1796765441 type Work @default.
• W1796765441 sameAs 1796765441 @default.
• W1796765441 citedByCount "9" @default.
• W1796765441 countsByYear W17967654412012 @default.
• W1796765441 countsByYear W17967654412018 @default.
• W1796765441 crossrefType "book-chapter" @default.
• W1796765441 hasAuthorship W1796765441A5003284636 @default.
• W1796765441 hasAuthorship W1796765441A5040486548 @default.
• W1796765441 hasAuthorship W1796765441A5049597004 @default.
• W1796765441 hasAuthorship W1796765441A5083096567 @default.
• W1796765441 hasBestOaLocation W17967654412 @default.
• W1796765441 hasConcept C104317684 @default.
• W1796765441 hasConcept C110251889 @default.
• W1796765441 hasConcept C112505250 @default.
• W1796765441 hasConcept C113174947 @default.
• W1796765441 hasConcept C121332964 @default.
• W1796765441 hasConcept C132525143 @default.
• W1796765441 hasConcept C134306372 @default.
• W1796765441 hasConcept C136643341 @default.
• W1796765441 hasConcept C154690210 @default.
• W1796765441 hasConcept C177264268 @default.
• W1796765441 hasConcept C185592680 @default.
• W1796765441 hasConcept C199360897 @default.
• W1796765441 hasConcept C204241405 @default.
• W1796765441 hasConcept C2778361913 @default.
• W1796765441 hasConcept C2778583254 @default.
• W1796765441 hasConcept C33923547 @default.
• W1796765441 hasConcept C41008148 @default.
• W1796765441 hasConcept C55493867 @default.
• W1796765441 hasConcept C558772884 @default.
• W1796765441 hasConcept C61797465 @default.
• W1796765441 hasConcept C62520636 @default.
• W1796765441 hasConcept C80444323 @default.
• W1796765441 hasConceptScore W1796765441C104317684 @default.
• W1796765441 hasConceptScore W1796765441C110251889 @default.
• W1796765441 hasConceptScore W1796765441C112505250 @default.
• W1796765441 hasConceptScore W1796765441C113174947 @default.
• W1796765441 hasConceptScore W1796765441C121332964 @default.
• W1796765441 hasConceptScore W1796765441C132525143 @default.
• W1796765441 hasConceptScore W1796765441C134306372 @default.
• W1796765441 hasConceptScore W1796765441C136643341 @default.
• W1796765441 hasConceptScore W1796765441C154690210 @default.
• W1796765441 hasConceptScore W1796765441C177264268 @default.
• W1796765441 hasConceptScore W1796765441C185592680 @default.
• W1796765441 hasConceptScore W1796765441C199360897 @default.
• W1796765441 hasConceptScore W1796765441C204241405 @default.
• W1796765441 hasConceptScore W1796765441C2778361913 @default.
• W1796765441 hasConceptScore W1796765441C2778583254 @default.
• W1796765441 hasConceptScore W1796765441C33923547 @default.
• W1796765441 hasConceptScore W1796765441C41008148 @default.
• W1796765441 hasConceptScore W1796765441C55493867 @default.
• W1796765441 hasConceptScore W1796765441C558772884 @default.
• W1796765441 hasConceptScore W1796765441C61797465 @default.
• W1796765441 hasConceptScore W1796765441C62520636 @default.
• W1796765441 hasConceptScore W1796765441C80444323 @default.
• W1796765441 hasLocation W17967654411 @default.
• W1796765441 hasLocation W17967654412 @default.
• W1796765441 hasLocation W17967654413 @default.
• W1796765441 hasOpenAccess W1796765441 @default.
• W1796765441 hasPrimaryLocation W17967654411 @default.
• W1796765441 hasRelatedWork W1507452355 @default.
• W1796765441 hasRelatedWork W1510965759 @default.
• W1796765441 hasRelatedWork W1532452539 @default.
• W1796765441 hasRelatedWork W1551719154 @default.
• W1796765441 hasRelatedWork W1566807398 @default.
• W1796765441 hasRelatedWork W1583295953 @default.
• W1796765441 hasRelatedWork W1586583492 @default.
• W1796765441 hasRelatedWork W1593799327 @default.
• W1796765441 hasRelatedWork W1979764944 @default.
• W1796765441 hasRelatedWork W2000826973 @default.
• W1796765441 hasRelatedWork W2088129830 @default.
• W1796765441 hasRelatedWork W2131807903 @default.
• W1796765441 hasRelatedWork W2162530383 @default.
• W1796765441 hasRelatedWork W2293504102 @default.
• W1796765441 hasRelatedWork W2724461936 @default.
• W1796765441 hasRelatedWork W2730674090 @default.
• W1796765441 hasRelatedWork W2793855799 @default.

• next