<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Transformations of logic programs on infinite lists"^^ . "We consider an extension of logic programs, called ω-programs, that can be used to define predicates over infinite lists. ω-programs allow us to specify properties of the infinite behavior of reactive systems and, in general, properties of infinite sequences of events. The semantics of ω-programs is an extension of the perfect model semantics. We present variants of the familiar unfold/fold rules which can be used for transforming ω-programs. We show that these new rules are correct, that is, their application preserves the perfect model semantics. Then we outline a general methodology based on program transformation for verifying properties of ω-programs. We demonstrate the power of our transformation-based verification methodology by proving some properties of Büchi automata and ω-regular languages."^^ . "2010" . "10" . "4-6" . . "Cambridge University Press"^^ . . . "Theory and Practice of Logic Programming"^^ . . . "14710684" . . . . . . . . . . . . . "Maurizio"^^ . "Proietti"^^ . "Maurizio Proietti"^^ . . "Alberto"^^ . "Pettorossi"^^ . "Alberto Pettorossi"^^ . . "Valerio"^^ . "Senni"^^ . "Valerio Senni"^^ . . . . . "HTML Summary of #1362 \n\nTransformations of logic programs on infinite lists\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .