@inproceedings{1fc74858c84348249800282b21b576f6,
title = "Transformation of left terminating programs",
abstract = "We propose an unfold-fold transformation system which preserves left termination for definite programs besides its declarative semantics. The system extends our previous proposal in [BCE95] by allowing to switch the atoms in the clause bodies when a specific applicability condition is satisfied. The applicability condition is very simple to verify, yet very common in practice. We also discuss how to verify such condition by exploiting mode information.",
author = "A. Bossi and N. Cocco and S. Etalle",
year = "2000",
doi = "10.1007/10720327_10",
language = "English",
isbn = "3-540-67628-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "156--175",
editor = "A. Bossi",
booktitle = "Logic Programming Synthesis and Transformation (9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers)",
address = "Germany",
}