Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Number of items: 4.
Article
| Heaton, Andrew and Abo-Zaed, Mohammad and King, Andy and Micheal, Codish (2000) A Simple Polynomial Groundness Analysis for Logic Programs. Journal of Logic Programming, 45 (1-3). pp. 143-156. ISSN 0743-1066. (doi:https://doi.org/10.1016/S0743-1066(00)00006-6) (Full text available) |
|
Book section
| Heaton, Andrew and Hill, Pat and King, Andy (2000) Abstract Domains for Universal and Existential Properties:9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings. In: Smolka, Gert, ed. Programming Languages and Systems. Lecture Notes in Computer Science, 1782 . Springer, pp. 150-164. ISBN 978-3-540-67262-3. (doi:https://doi.org/10.1007/3-540-46425-5_10) (Full text available) |
|
| Heaton, Andrew and Hill, Pat and King, Andy (1998) Analysis of Logic Programs with Delay. In: Fuchs, Norbert, ed. Logic Program Synthesis and Transformation. Lecture Notes in Computer Science, 1463 . Springer-Verlag, pp. 148-167. ISBN 978-3-540-65074-4. (doi:https://doi.org/10.1007/3-540-49674-2_8) (Full text available) |
|
Research report (external)
| Heaton, Andrew and King, Andy (2000) Abstracting Builtins for Groundness Analysis. University of Kent, School of Computing, Computing Laboratory, 8 pp. (Full text available) |
|
