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

Group by: Item Type | Date | No Grouping

Jump to: Article | Monograph | Conference or workshop item | Other

Number of items: 10.

Article

Smaus, J.G. and Hill, P.M. and King, A. (2001) Verifying termination and error-freedom of logic programs with block declarations. Theory and Practice of Logic Programming, 1 (4). pp. 447-486.

Preview

Preview

Hill, P.M. and King, A.M. (1997) Determinacy and determinacy analysis. Journal of Programming Languages, 5 (1). pp. 135-171. ISSN 0963-9306.

Preview

Preview

Monograph

Smaus, J.G. and Hill, P.M. and King, A. (1998) Verification of Logic Programs with block Declarations Running in Several Modes. Technical report. University of Kent, Canterbury, CT2 7NF, United Kingdom

Preview

Preview

King, A. and Hill, P.M. and Smaus, J.G. (1998) Practical Dependency Analysis through a Share Quotient. Technical report. University of Kent

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

Smaus, J.G. and Hill, P.M. and King, A. (1997) Domain Construction for Mode Analysis of Typed Logic Programs. Technical report. University of Kent

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

Smaus, J.G. and Hill, P.M. and King, A. (1998) Termination of Logic Programs with block Declarations Running in Several Modes. In: Palamidessi, C., ed. Proceedings of the 10th International Symposium on Principles of Declarative Programming. Lecture Notes in Computer Science, 1490. Springer-Verlag, see also http://www.springer.de/comp/lncs/index.html pp. 73-88. ISBN 3-540-65012-1 .