Matches in SemOpenAlex for { <https://semopenalex.org/work/W2225241521> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2225241521 endingPage "101" @default.
- W2225241521 startingPage "90" @default.
- W2225241521 abstract "Several techniques and tools have been developed for verification of properties expressed as Horn clauses with constraints over a background theory (CHC). Current CHC verification tools implement intricate algorithms and are often limited to certain subclasses of CHC problems. Our aim in this work is to investigate the use of a combination of off-the-shelf techniques from the literature in analysis and transformation of Constraint Logic Programs (CLPs) to solve challenging CHC verification problems. We find that many problems can be solved using a combination of tools based on well-known techniques from abstract interpretation, semantics-preserving transformations, program specialisation and query-answer transformations. This gives insights into the design of automatic, more general CHC verification tools based on a library of components." @default.
- W2225241521 created "2016-06-24" @default.
- W2225241521 creator A5020698393 @default.
- W2225241521 creator A5031939019 @default.
- W2225241521 date "2014-05-15" @default.
- W2225241521 modified "2023-10-16" @default.
- W2225241521 title "Analysis and Transformation Tools for Constrained Horn Clause Verification" @default.
- W2225241521 hasPublicationYear "2014" @default.
- W2225241521 type Work @default.
- W2225241521 sameAs 2225241521 @default.
- W2225241521 citedByCount "3" @default.
- W2225241521 countsByYear W22252415212014 @default.
- W2225241521 countsByYear W22252415212017 @default.
- W2225241521 crossrefType "journal-article" @default.
- W2225241521 hasAuthorship W2225241521A5020698393 @default.
- W2225241521 hasAuthorship W2225241521A5031939019 @default.
- W2225241521 hasConcept C104317684 @default.
- W2225241521 hasConcept C11413529 @default.
- W2225241521 hasConcept C128838566 @default.
- W2225241521 hasConcept C154945302 @default.
- W2225241521 hasConcept C184337299 @default.
- W2225241521 hasConcept C185592680 @default.
- W2225241521 hasConcept C189790780 @default.
- W2225241521 hasConcept C199360897 @default.
- W2225241521 hasConcept C204241405 @default.
- W2225241521 hasConcept C206880738 @default.
- W2225241521 hasConcept C2524010 @default.
- W2225241521 hasConcept C2776036281 @default.
- W2225241521 hasConcept C2776436953 @default.
- W2225241521 hasConcept C2778361913 @default.
- W2225241521 hasConcept C2779791154 @default.
- W2225241521 hasConcept C2780654840 @default.
- W2225241521 hasConcept C33923547 @default.
- W2225241521 hasConcept C41008148 @default.
- W2225241521 hasConcept C55493867 @default.
- W2225241521 hasConcept C80444323 @default.
- W2225241521 hasConcept C97686452 @default.
- W2225241521 hasConceptScore W2225241521C104317684 @default.
- W2225241521 hasConceptScore W2225241521C11413529 @default.
- W2225241521 hasConceptScore W2225241521C128838566 @default.
- W2225241521 hasConceptScore W2225241521C154945302 @default.
- W2225241521 hasConceptScore W2225241521C184337299 @default.
- W2225241521 hasConceptScore W2225241521C185592680 @default.
- W2225241521 hasConceptScore W2225241521C189790780 @default.
- W2225241521 hasConceptScore W2225241521C199360897 @default.
- W2225241521 hasConceptScore W2225241521C204241405 @default.
- W2225241521 hasConceptScore W2225241521C206880738 @default.
- W2225241521 hasConceptScore W2225241521C2524010 @default.
- W2225241521 hasConceptScore W2225241521C2776036281 @default.
- W2225241521 hasConceptScore W2225241521C2776436953 @default.
- W2225241521 hasConceptScore W2225241521C2778361913 @default.
- W2225241521 hasConceptScore W2225241521C2779791154 @default.
- W2225241521 hasConceptScore W2225241521C2780654840 @default.
- W2225241521 hasConceptScore W2225241521C33923547 @default.
- W2225241521 hasConceptScore W2225241521C41008148 @default.
- W2225241521 hasConceptScore W2225241521C55493867 @default.
- W2225241521 hasConceptScore W2225241521C80444323 @default.
- W2225241521 hasConceptScore W2225241521C97686452 @default.
- W2225241521 hasOpenAccess W2225241521 @default.
- W2225241521 hasRelatedWork W111894459 @default.
- W2225241521 hasRelatedWork W1771545089 @default.
- W2225241521 hasRelatedWork W1966415308 @default.
- W2225241521 hasRelatedWork W2007873095 @default.
- W2225241521 hasRelatedWork W2043100293 @default.
- W2225241521 hasRelatedWork W2061230361 @default.
- W2225241521 hasRelatedWork W2062873592 @default.
- W2225241521 hasRelatedWork W2065605087 @default.
- W2225241521 hasRelatedWork W2132661148 @default.
- W2225241521 hasRelatedWork W2158493209 @default.
- W2225241521 hasRelatedWork W2158744037 @default.
- W2225241521 hasRelatedWork W2280666326 @default.
- W2225241521 hasRelatedWork W2295167139 @default.
- W2225241521 hasRelatedWork W2518584228 @default.
- W2225241521 hasRelatedWork W2520249526 @default.
- W2225241521 hasRelatedWork W2605093234 @default.
- W2225241521 hasRelatedWork W2890453365 @default.
- W2225241521 hasRelatedWork W2949724301 @default.
- W2225241521 hasRelatedWork W2951518715 @default.
- W2225241521 hasRelatedWork W52244296 @default.
- W2225241521 hasVolume "14" @default.
- W2225241521 isParatext "false" @default.
- W2225241521 isRetracted "false" @default.
- W2225241521 magId "2225241521" @default.
- W2225241521 workType "article" @default.