Reasoning about termination of pure prolog programs )), Information and computation, vol.1, pp.109-157, 1993. ,
Modular termination proofs for logic and pure Prolog programs ), pp.183-229, 1994. ,
From Logic Programming to Prolog, 1997. ,
Inferring Argument Size Relationships with CLP(R) )), Logic Program Synthesis and Transformation, 1997. ,
, Loop Checking in Logic Programming ), 1991.
Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization ), Proceedings of International Symposium on Logic Programming, pp.320-336, 1994. ,
Abstract interpretation: a unifed lattice model for static analysis of programs by construction or approximation of fixpoints )), Conference Record of the 4th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.238-252, 1977. ,
Automatic discovery of linear restraints among variables of a program ), Proc. of the 5th ACM Symposium on Principles of Programming Languages, pp.84-96, 1978. ,
Abstract interpretation and application to logic programs )), Journal of Logic Programming, vol.13, pp.103-179, 1992. ,
Constraint-based Termination Analysis of Logic Programs )), ACM Transactions of Computational Logic, 2000. ,
Termination of logic programs : the never-ending story )), Journal of Logic Programming, vol.19, issue.20, pp.199-260, 1994. ,
, Proceedings of the 4th Annual ACM Symposium on Principles of Programming Languages, pp.111-119, 1987.
Constraint Logic Programming: a survey )), Journal of Logic Programming, vol.19, pp.503-581, 1994. ,
Automatic Termination Analysis of Logic Programs )), Proceedings of the 14th ICLP, pp.63-77, 1997. ,
Inferring left-terminating classes of queries for constraint logic programs by means of approximations )), Proceedings of JICSLP'96, pp.7-21, 1996. ,
On Proving Left Termination of Constraint Logic Programs )), rapport, 2001. ,
Termination proofs for Logic programs )), Lecture Notes in Artificial Intelligence, vol.446, 1990. ,
Verification and validation of logic programs )), PhD thesis, Università di Pisa, 1999. ,
Termination detection in logic programs using argucTI 17 ,
, Proceedings of PODS'91, pp.216-226, 1991.
Termination Analysis for Mercury )), Proceedings of SAS'97, vol.1302, 1997. ,
, Proceedings of the 1986 IEEE Symposium on Logic Programming, 1986.