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

Group by: Item Type | Date | No Grouping

Jump to: Article | Book section | Conference or workshop item

Number of items: 5.

Article

Hill, P. and King, A. (1998) Detecting and Exploiting Determinacy in Logic Programs. Computational Logic Newsletter, 4 (1). pp. 100-101. The full text of this publication is not available from this repository.

Book section

Nix, J. and Hill, P. and Williams, N.T. and Bough, J.C. (2003) Land and Estate Management. In: Land and Estate Management. Packard Publishing Limited, Chichester. ISBN 1-85341-129-9. The full text of this publication is not available from this repository.

Conference or workshop item

Smaus, J.G. and Hill, P. and King, A. (2000) Mode Analysis Domains for Typed Logic Programs. In: 9th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'99), Sep 22-24, 1999, Venice, Italy,.

Preview

Preview

Smaus, J.G. and Hill, P. and King, A. (1999) Preventing instantiation errors and loops for logic programs with multiple modes using block declarations. In: 8th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 98), Jun 15-19, 1998, Manchester, England.

Preview

Preview

King, A. and Smaus, J.G. and Hill, P. (1999) Quotienting share for dependency analysis. In: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, March 22-28, 1999, Amsterdam, Netherlands.

Preview

Preview

This list was generated on Mon May 20 06:20:04 2013 BST.