Browsing by Subject "Program transformation"

Now showing items 1-3 of 3

    • The branching-time transformation technique for Chain Datalog programs 

      Γεργατσούλης, Μανώλης; Ροντογιάννης, Παναγιώτης; Gergatsoulis, Manolis; Rondogiannis, Panos (2001)
      The branching-time transformation technique has proven to be an efficient approach for implementing functional programming languages. In this paper we demonstrate that such a technique can also be defined for logic programming ...

    • Linearisability on datalog programs 

      Γεργατσούλης, Μανώλης; Αφράτη, Φώτο; Toni, F.; Gergatsoulis, Manolis; Afrati, Foto (2003)
      Linear Datalog programs are programs whose clauses have at most one intensional atom in their bodies. We explore syntactic classes of Datalog programs (syntactically non-linear) which turn out to express no more than the ...

    • Unfold/fold transformations for disjunctive logic programs 

      Γεργατσούλης, Μανώλης; Ροντογιάννης, Παναγιώτης; Gergatsoulis, Manolis; Rondogiannis, Panos (1997)
      Unfold/fold transformation rules for disjunctive logic programs are proposed in this paper. Our transformation rules preserve the meaning of the programs.