FRINK Linked Data Fragments server

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

• W2025838732 abstract "We present a method for specialising the constraints in constrained Horn clauses with respect to a goal. We use abstract interpretation to compute a model of a query-answer transformation of a given set of clauses and a goal. The effect is to propagate the constraints from the goal top-down and propagate answer constraints bottom-up. Our approach does not unfold the clauses at all; we use the constraints from the model to compute a specialised version of each clause in the program. The approach is independent of the abstract domain and the constraints theory underlying the clauses. Experimental results on verification problems show that this is an effective transformation, both in our own verification tools (convex polyhedra analyser) and as a pre-processor to other Horn clause verification tools." @default.
• W2025838732 created "2016-06-24" @default.
• W2025838732 creator A5020698393 @default.
• W2025838732 creator A5031939019 @default.
• W2025838732 date "2015-01-13" @default.
• W2025838732 modified "2023-10-16" @default.
• W2025838732 title "Constraint Specialisation in Horn Clause Verification" @default.
• W2025838732 cites W1426978945 @default.
• W2025838732 cites W1471753124 @default.
• W2025838732 cites W1489150842 @default.
• W2025838732 cites W1489409322 @default.
• W2025838732 cites W1524963041 @default.
• W2025838732 cites W1846522280 @default.
• W2025838732 cites W1925669739 @default.
• W2025838732 cites W1974390918 @default.
• W2025838732 cites W1975576519 @default.
• W2025838732 cites W1983305931 @default.
• W2025838732 cites W2011380290 @default.
• W2025838732 cites W2043100293 @default.
• W2025838732 cites W2048831705 @default.
• W2025838732 cites W2062873592 @default.
• W2025838732 cites W2063727779 @default.
• W2025838732 cites W2084875723 @default.
• W2025838732 cites W2105614525 @default.
• W2025838732 cites W2112350720 @default.
• W2025838732 cites W2115446371 @default.
• W2025838732 cites W2127574686 @default.
• W2025838732 cites W2132661148 @default.
• W2025838732 cites W2139875914 @default.
• W2025838732 cites W2151036935 @default.
• W2025838732 cites W2741645723 @default.
• W2025838732 cites W70032344 @default.
• W2025838732 cites W74317754 @default.
• W2025838732 cites W77598792 @default.
• W2025838732 cites W96134206 @default.
• W2025838732 doi "https://doi.org/10.1145/2678015.2682544" @default.
• W2025838732 hasPublicationYear "2015" @default.
• W2025838732 type Work @default.
• W2025838732 sameAs 2025838732 @default.
• W2025838732 citedByCount "14" @default.
• W2025838732 countsByYear W20258387322015 @default.
• W2025838732 countsByYear W20258387322016 @default.
• W2025838732 countsByYear W20258387322017 @default.
• W2025838732 countsByYear W20258387322018 @default.
• W2025838732 countsByYear W20258387322020 @default.
• W2025838732 countsByYear W20258387322023 @default.
• W2025838732 crossrefType "proceedings-article" @default.
• W2025838732 hasAuthorship W2025838732A5020698393 @default.
• W2025838732 hasAuthorship W2025838732A5031939019 @default.
• W2025838732 hasBestOaLocation W20258387322 @default.
• W2025838732 hasConcept C104317684 @default.
• W2025838732 hasConcept C11413529 @default.
• W2025838732 hasConcept C128838566 @default.
• W2025838732 hasConcept C134306372 @default.
• W2025838732 hasConcept C177264268 @default.
• W2025838732 hasConcept C185592680 @default.
• W2025838732 hasConcept C189790780 @default.
• W2025838732 hasConcept C199360897 @default.
• W2025838732 hasConcept C204241405 @default.
• W2025838732 hasConcept C2524010 @default.
• W2025838732 hasConcept C26834552 @default.
• W2025838732 hasConcept C2776036281 @default.
• W2025838732 hasConcept C2778361913 @default.
• W2025838732 hasConcept C2780654840 @default.
• W2025838732 hasConcept C33923547 @default.
• W2025838732 hasConcept C36503486 @default.
• W2025838732 hasConcept C41008148 @default.
• W2025838732 hasConcept C43617362 @default.
• W2025838732 hasConcept C527412718 @default.
• W2025838732 hasConcept C54829058 @default.
• W2025838732 hasConcept C55493867 @default.
• W2025838732 hasConcept C80444323 @default.
• W2025838732 hasConcept C97686452 @default.
• W2025838732 hasConceptScore W2025838732C104317684 @default.
• W2025838732 hasConceptScore W2025838732C11413529 @default.
• W2025838732 hasConceptScore W2025838732C128838566 @default.
• W2025838732 hasConceptScore W2025838732C134306372 @default.
• W2025838732 hasConceptScore W2025838732C177264268 @default.
• W2025838732 hasConceptScore W2025838732C185592680 @default.
• W2025838732 hasConceptScore W2025838732C189790780 @default.
• W2025838732 hasConceptScore W2025838732C199360897 @default.
• W2025838732 hasConceptScore W2025838732C204241405 @default.
• W2025838732 hasConceptScore W2025838732C2524010 @default.
• W2025838732 hasConceptScore W2025838732C26834552 @default.
• W2025838732 hasConceptScore W2025838732C2776036281 @default.
• W2025838732 hasConceptScore W2025838732C2778361913 @default.
• W2025838732 hasConceptScore W2025838732C2780654840 @default.
• W2025838732 hasConceptScore W2025838732C33923547 @default.
• W2025838732 hasConceptScore W2025838732C36503486 @default.
• W2025838732 hasConceptScore W2025838732C41008148 @default.
• W2025838732 hasConceptScore W2025838732C43617362 @default.
• W2025838732 hasConceptScore W2025838732C527412718 @default.
• W2025838732 hasConceptScore W2025838732C54829058 @default.
• W2025838732 hasConceptScore W2025838732C55493867 @default.
• W2025838732 hasConceptScore W2025838732C80444323 @default.
• W2025838732 hasConceptScore W2025838732C97686452 @default.
• W2025838732 hasFunder F4320334770 @default.
• W2025838732 hasFunder F4320334960 @default.
• W2025838732 hasLocation W20258387321 @default.
• W2025838732 hasLocation W20258387322 @default.

• next