16 citations · 30 across the 3 of their papers we have counts for
3 papers
Properties of Input-Consuming Derivations
Annalisa Bossi, Sandro Etalle, Sabina Rossi
We study the properties of input-consuming derivations of moded logic programs. Input-consuming derivations can be used to model the behavior of logic programs using dynamic schedu…
Sequence-Based Abstract Interpretation of Prolog
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
Many abstract interpretation frameworks and analyses for Prolog have been proposed, which seek to extract information useful for program optimization. Although motivated by practic…
On Modular Termination Proofs of General Logic Programs
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle +1
We propose a modular method for proving termination of general logic programs (i.e., logic programs with negation). It is based on the notion of acceptable programs, but it allows…