Software Support for CLP: Papers

To Appear	Verifying termination and error-freedom of logic programs with block declarations: Jan-Georg Smaus, Patricia M. Hill and Andy King. To appear in the Theory and Practice of Logic Programming.
Published in 2000	Abstract Domains for Universal and Existential Properties: Andrew Heaton, Patricia M. Hill and Andy King. In Proceedings of European Symposium of Programming (ESOP 2000). Implementing Groundness Analysis with Definite Boolean Functions: J. M. Howe and Andy King. In Proceedings of European Symposium of Programming (ESOP 2000). A Simple Polynomial Groundness Analysis for Logic Programs: Andrew Heaton, Muhamed Abo-Zaed, Michael Codish and Andy King. In the Journal of Logic Programming. Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation, Roberto Bagnara, Enea Zaffanella and Patricia M. Hill. In Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00)" Efficient Structural Information Analysis for Real CLP Languages: Roberto Bagnara, Patricia M. Hill and Enea Zaffanella. In Proceedings of the "7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000)" Analysis of Downward Closed Properties of Logic Programs: Patricia M. Hill and Fausto Spoto. In Proc. of the International Conference on Algebraic Methodology and Software Technology, AMAST'2000. Constraint propagation on Multiple Domains: Antonio Fernandez and Patricia M. Hill. In Proceedings of the 9th International Workshop on Functional and Logic Programming (WFLP'00).
Published in 1999	Widening Sharing: Enea Zaffanella, Roberto Bagnara and Patricia M. Hill. In Proceedings of the 1st International Conference on Principles and Practice of Declarative Programming (PPDP'99) Quotienting Share for Dependency Analysis: Andy King, Jan-Georg Smaus and Patricia M. Hill. To Proceedings of European Symposium of Programming (ESOP 1999). Mode Analysis Domains for Typed Logic Programs: Jan-Georg Smaus, Patricia M. Hill and Andy King. In Logic Based Program Synthesis and Transformation, the post-conference proceedings of the 9th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR-99). Decomposing non-redundant sharing by complementation: Enea Zaffanella, Patricia M. Hill and Roberto Bagnara. In Proceedings of the 6th International Symposium on Static Analysis (SAS'99) Freeness Analysis through Linear Refinement: Patricia M. Hill and Fausto Spoto. In Proceedings of the 6th International Symposium on Static Analysis (SAS'99) An Interval Lattice-based Constraint Solving Framework for Lattices: Antonio Fernandez and Patricia M. Hill. In Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (FLOPS-99).
Technical Reports	Abstracting Builtins for Groundness Analysis: Andrew Heaton and Andy King. Technical Report 3-00, University of Kent at Canterbury, Computing Laboratory, January 2000. A Semantic Basis for Specialising Domain Constraints: J. M. Howe and Andy King. Technical Report 21-99, University of Kent at Canterbury, Computing Laboratory, November 1999.
Other Links	Technical Reports at Leeds

Home | Personal Info | Research | Papers | Research Degrees Admissions Tutor | Gödel | Interests | People | Links