Matches in SemOpenAlex for { <https://semopenalex.org/work/W24577754> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W24577754 endingPage "226" @default.
- W24577754 startingPage "209" @default.
- W24577754 abstract "In this paper we apply tree-automata techniques to refinement of abstract interpretation in Horn clause verification. We go beyond previous work on refining trace abstractions; firstly we handle tree automata rather than string automata and thereby can capture traces in any Horn clause derivations rather than just transition systems; secondly, we show how algorithms manipulating tree automata interact with abstract interpretations, establishing progress in refinement and generating refined clauses that eliminate causes of imprecision. We show how to derive a refined set of Horn clauses in which given infeasible traces have been eliminated, using a recent optimised algorithm for tree automata determinisation. We also show how we can introduce disjunctive abstractions selectively by splitting states in the tree automaton. The approach is independent of the abstract domain and constraint theory underlying the Horn clauses. Experiments using linear constraint problems and the abstract domain of convex polyhedra show that the refinement technique is practical and that iteration of abstract interpretation with tree automata-based refinement solves many challenging Horn clause verification problems. We compare the results with other state of the art Horn clause verification tools." @default.
- W24577754 created "2016-06-24" @default.
- W24577754 creator A5020698393 @default.
- W24577754 creator A5031939019 @default.
- W24577754 date "2015-01-01" @default.
- W24577754 modified "2023-10-16" @default.
- W24577754 title "Tree Automata-Based Refinement with Application to Horn Clause Verification" @default.
- W24577754 cites W143523914 @default.
- W24577754 cites W1471753124 @default.
- W24577754 cites W1489150842 @default.
- W24577754 cites W1492471923 @default.
- W24577754 cites W1569188499 @default.
- W24577754 cites W1572346735 @default.
- W24577754 cites W1841626152 @default.
- W24577754 cites W1925669739 @default.
- W24577754 cites W2043100293 @default.
- W24577754 cites W2062873592 @default.
- W24577754 cites W2063727779 @default.
- W24577754 cites W2105614525 @default.
- W24577754 cites W2112350720 @default.
- W24577754 cites W2115446371 @default.
- W24577754 cites W2122599614 @default.
- W24577754 cites W2127574686 @default.
- W24577754 cites W2132661148 @default.
- W24577754 cites W2168496583 @default.
- W24577754 cites W2280666326 @default.
- W24577754 cites W2912087756 @default.
- W24577754 cites W4241755441 @default.
- W24577754 cites W4253182982 @default.
- W24577754 cites W52244296 @default.
- W24577754 cites W70032344 @default.
- W24577754 cites W74317754 @default.
- W24577754 cites W77598792 @default.
- W24577754 cites W96134206 @default.
- W24577754 doi "https://doi.org/10.1007/978-3-662-46081-8_12" @default.
- W24577754 hasPublicationYear "2015" @default.
- W24577754 type Work @default.
- W24577754 sameAs 24577754 @default.
- W24577754 citedByCount "9" @default.
- W24577754 countsByYear W245777542015 @default.
- W24577754 countsByYear W245777542016 @default.
- W24577754 countsByYear W245777542017 @default.
- W24577754 countsByYear W245777542018 @default.
- W24577754 countsByYear W245777542021 @default.
- W24577754 crossrefType "book-chapter" @default.
- W24577754 hasAuthorship W24577754A5020698393 @default.
- W24577754 hasAuthorship W24577754A5031939019 @default.
- W24577754 hasBestOaLocation W245777542 @default.
- W24577754 hasConcept C112505250 @default.
- W24577754 hasConcept C113174947 @default.
- W24577754 hasConcept C114614502 @default.
- W24577754 hasConcept C121332964 @default.
- W24577754 hasConcept C128838566 @default.
- W24577754 hasConcept C152076505 @default.
- W24577754 hasConcept C189790780 @default.
- W24577754 hasConcept C199360897 @default.
- W24577754 hasConcept C24890656 @default.
- W24577754 hasConcept C33923547 @default.
- W24577754 hasConcept C41008148 @default.
- W24577754 hasConcept C80444323 @default.
- W24577754 hasConceptScore W24577754C112505250 @default.
- W24577754 hasConceptScore W24577754C113174947 @default.
- W24577754 hasConceptScore W24577754C114614502 @default.
- W24577754 hasConceptScore W24577754C121332964 @default.
- W24577754 hasConceptScore W24577754C128838566 @default.
- W24577754 hasConceptScore W24577754C152076505 @default.
- W24577754 hasConceptScore W24577754C189790780 @default.
- W24577754 hasConceptScore W24577754C199360897 @default.
- W24577754 hasConceptScore W24577754C24890656 @default.
- W24577754 hasConceptScore W24577754C33923547 @default.
- W24577754 hasConceptScore W24577754C41008148 @default.
- W24577754 hasConceptScore W24577754C80444323 @default.
- W24577754 hasLocation W245777541 @default.
- W24577754 hasLocation W245777542 @default.
- W24577754 hasOpenAccess W24577754 @default.
- W24577754 hasPrimaryLocation W245777541 @default.
- W24577754 hasRelatedWork W1527862632 @default.
- W24577754 hasRelatedWork W2022937548 @default.
- W24577754 hasRelatedWork W2109507516 @default.
- W24577754 hasRelatedWork W2135396778 @default.
- W24577754 hasRelatedWork W2372612917 @default.
- W24577754 hasRelatedWork W2390742962 @default.
- W24577754 hasRelatedWork W24577754 @default.
- W24577754 hasRelatedWork W2953357445 @default.
- W24577754 hasRelatedWork W4243252198 @default.
- W24577754 hasRelatedWork W2462343658 @default.
- W24577754 isParatext "false" @default.
- W24577754 isRetracted "false" @default.
- W24577754 magId "24577754" @default.
- W24577754 workType "book-chapter" @default.