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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
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. (Full text available)
[img]
Preview
[img]
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. (Full text available)
[img]
Preview
[img]
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 (Full text available)
[img]
Preview
[img]
Preview

King, A. and Hill, P.M. and Smaus, J.G. (1998) Practical Dependency Analysis through a Share Quotient. Technical report. University of Kent (Full text available)
[img]
Preview
[img]
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 (Full text available)
[img]
Preview
[img]
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 (Full text available)
[img] [img]
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. (Full text available)
[img]
Preview
[img]
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. (Full text available)
[img]
Preview
[img]
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 . (Full text available)
[img]
Preview
[img]
Preview

Other

Smaus, J.G. and Hill, P.M. and King, A. (1998) Preventing Instantiation Errors and Loops for Logic Programs with Several Modes Using t block Declarations. University of Kent, University of Kent, Canterbury. (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Fri Dec 13 09:12:07 2013 GMT.