<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Using Real Relaxations during Program Specialization"^^ . "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 ℤ."^^ . "2012" . "7225" . . "Springer-Verlag"^^ . . "Springer-Verlag"^^ . . . . . . . . . . . . . . . . . "Fabio"^^ . "Fioravanti"^^ . "Fabio Fioravanti"^^ . . "Maurizio"^^ . "Proietti"^^ . "Maurizio Proietti"^^ . . "Valerio"^^ . "Senni"^^ . "Valerio Senni"^^ . . "Alberto"^^ . "Pettorossi"^^ . "Alberto Pettorossi"^^ . . . . . "HTML Summary of #1343 \n\nUsing Real Relaxations during Program Specialization\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .