Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Monograph | Conference or workshop item

Number of items: 6.

Article

Heaton, A. and Abo-Zaed, M. and Codish, M. and King, A. (2000) A Simple Polynomial Groundness Analysis for Logic Programs. Journal of Logic Programming, 45 (1-3). pp. 143-156. ISSN 0743-1066.

Preview

Preview

Monograph

Heaton, A. and King, A. (2000) Abstracting Builtins for Groundness Analysis. Technical report. University of Kent, Computing Laboratory

Preview

Preview

Codish, M. and Heaton, A. and King, A. and Abo-Zaed, M. and Hill, P.M. (1998) Widening Positive Boolean functions for Goal-dependent Groundness Analysis. Technical report. University of Kent

Preview

Preview

Codish, M. and Heaton, A. and King, Andy (1997) Widening Pos for Efficient and Scalable Groundness Analysis of Logic Programs. Technical report. University of Kent at Canterbury

Preview

Preview

Conference or workshop item

Heaton, A. and Hill, P.M. and King, A. (2000) Abstract domains for universal and existential properties. In: Smolka, G., ed. Programming Languages and Systems. Lecture Notes in Computer Science, 1782. Springer-Verlag Berlin pp. 150-164. ISBN 3-540-67262-1.

Preview

Preview

Heaton, A. and Hill, P.M. and King, A.M. (1998) Analysis of Logic Programs with Delay. In: Fuchs, N.E., ed. Logic Program Synthesis and Transformation. Lecture Notes in Computer Science, 1463. Springer-Verlag pp. 148-167. ISBN 978-3-540-65074-4.

Preview

Preview

This list was generated on Sat May 25 01:29:01 2013 BST.