Declarative semantics of input consuming logic programs


Bossi, Annalisa and Cocco, Nicoletta and Etalle, Sandro and Rossi, Sabina (2004) Declarative semantics of input consuming logic programs. [Report]

open access
Abstract:Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been introduced to describe dynamic scheduling while abstracting from the technical details. In this paper we review and compare the different proposals given in [9], [10] and [12] for denotational semantics of programs with input consuming derivations. We also show how they can be applied to termination analysis.
Item Type:Report
Copyright:© 2004 CTIT
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page