Matches in SemOpenAlex for { <https://semopenalex.org/work/W1837798658> ?p ?o ?g. }
- W1837798658 abstract "We propose a program specialization technique for locally stratified CLP(ℤ) programs, that is, logic programs with linear constraints over the set ℤ of the integer numbers. For reasons of efficiency our technique makes use of a relaxation from integers to reals. We reformulate the familiar unfold/fold transformation rules for CLP programs so that: (i) the applicability conditions of the rules are based on the satisfiability or entailment of constraints over the set ℝ of the real numbers, and (ii) every application of the rules transforms a given program into a new program with the same perfect model constructed over ℤ. Then, we introduce a strategy which applies the transformation rules for specializing CLP(ℤ) programs with respect to a given query. Finally, we show that our specialization strategy can be applied for verifying properties of infinite state reactive systems specified by constraints over ℤ." @default.
- W1837798658 created "2016-06-24" @default.
- W1837798658 creator A5018873219 @default.
- W1837798658 creator A5025420559 @default.
- W1837798658 creator A5028288086 @default.
- W1837798658 creator A5080397323 @default.
- W1837798658 date "2012-01-01" @default.
- W1837798658 modified "2023-09-27" @default.
- W1837798658 title "Using Real Relaxations during Program Specialization" @default.
- W1837798658 cites W1489409322 @default.
- W1837798658 cites W1505441226 @default.
- W1837798658 cites W1516229504 @default.
- W1837798658 cites W1522553964 @default.
- W1837798658 cites W1546101340 @default.
- W1837798658 cites W1554005697 @default.
- W1837798658 cites W1570080582 @default.
- W1837798658 cites W1572952339 @default.
- W1837798658 cites W1578881602 @default.
- W1837798658 cites W1653581507 @default.
- W1837798658 cites W1813383841 @default.
- W1837798658 cites W1824104098 @default.
- W1837798658 cites W1854246520 @default.
- W1837798658 cites W1904450094 @default.
- W1837798658 cites W2010729520 @default.
- W1837798658 cites W2031276295 @default.
- W1837798658 cites W2043100293 @default.
- W1837798658 cites W2043140417 @default.
- W1837798658 cites W2062873592 @default.
- W1837798658 cites W2070598037 @default.
- W1837798658 cites W2097366413 @default.
- W1837798658 cites W2120647728 @default.
- W1837798658 cites W2124682644 @default.
- W1837798658 cites W2128709994 @default.
- W1837798658 cites W2131624124 @default.
- W1837798658 cites W2132331020 @default.
- W1837798658 cites W2132661148 @default.
- W1837798658 cites W2151897509 @default.
- W1837798658 cites W4240931473 @default.
- W1837798658 cites W4249920159 @default.
- W1837798658 doi "https://doi.org/10.1007/978-3-642-32211-2_8" @default.
- W1837798658 hasPublicationYear "2012" @default.
- W1837798658 type Work @default.
- W1837798658 sameAs 1837798658 @default.
- W1837798658 citedByCount "0" @default.
- W1837798658 crossrefType "book-chapter" @default.
- W1837798658 hasAuthorship W1837798658A5018873219 @default.
- W1837798658 hasAuthorship W1837798658A5025420559 @default.
- W1837798658 hasAuthorship W1837798658A5028288086 @default.
- W1837798658 hasAuthorship W1837798658A5080397323 @default.
- W1837798658 hasConcept C104317684 @default.
- W1837798658 hasConcept C11413529 @default.
- W1837798658 hasConcept C126255220 @default.
- W1837798658 hasConcept C128838566 @default.
- W1837798658 hasConcept C15744967 @default.
- W1837798658 hasConcept C168773769 @default.
- W1837798658 hasConcept C177264268 @default.
- W1837798658 hasConcept C185592680 @default.
- W1837798658 hasConcept C199360897 @default.
- W1837798658 hasConcept C204241405 @default.
- W1837798658 hasConcept C2776029896 @default.
- W1837798658 hasConcept C2778361913 @default.
- W1837798658 hasConcept C2987117450 @default.
- W1837798658 hasConcept C33923547 @default.
- W1837798658 hasConcept C41008148 @default.
- W1837798658 hasConcept C48103436 @default.
- W1837798658 hasConcept C55493867 @default.
- W1837798658 hasConcept C77805123 @default.
- W1837798658 hasConcept C80444323 @default.
- W1837798658 hasConcept C97137487 @default.
- W1837798658 hasConcept C98183937 @default.
- W1837798658 hasConceptScore W1837798658C104317684 @default.
- W1837798658 hasConceptScore W1837798658C11413529 @default.
- W1837798658 hasConceptScore W1837798658C126255220 @default.
- W1837798658 hasConceptScore W1837798658C128838566 @default.
- W1837798658 hasConceptScore W1837798658C15744967 @default.
- W1837798658 hasConceptScore W1837798658C168773769 @default.
- W1837798658 hasConceptScore W1837798658C177264268 @default.
- W1837798658 hasConceptScore W1837798658C185592680 @default.
- W1837798658 hasConceptScore W1837798658C199360897 @default.
- W1837798658 hasConceptScore W1837798658C204241405 @default.
- W1837798658 hasConceptScore W1837798658C2776029896 @default.
- W1837798658 hasConceptScore W1837798658C2778361913 @default.
- W1837798658 hasConceptScore W1837798658C2987117450 @default.
- W1837798658 hasConceptScore W1837798658C33923547 @default.
- W1837798658 hasConceptScore W1837798658C41008148 @default.
- W1837798658 hasConceptScore W1837798658C48103436 @default.
- W1837798658 hasConceptScore W1837798658C55493867 @default.
- W1837798658 hasConceptScore W1837798658C77805123 @default.
- W1837798658 hasConceptScore W1837798658C80444323 @default.
- W1837798658 hasConceptScore W1837798658C97137487 @default.
- W1837798658 hasConceptScore W1837798658C98183937 @default.
- W1837798658 hasLocation W18377986581 @default.
- W1837798658 hasOpenAccess W1837798658 @default.
- W1837798658 hasPrimaryLocation W18377986581 @default.
- W1837798658 hasRelatedWork W1990426442 @default.
- W1837798658 hasRelatedWork W2057089816 @default.
- W1837798658 hasRelatedWork W2068318525 @default.
- W1837798658 hasRelatedWork W2094806969 @default.
- W1837798658 hasRelatedWork W2096907043 @default.
- W1837798658 hasRelatedWork W2114479655 @default.