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: 9.

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.
[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
[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
[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
[img] [img]
Preview

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,.
[img]
Preview
[img]
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.
[img]
Preview
[img]
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.
[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 .
[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.
[img]
Preview
[img]
Preview

This list was generated on Thu May 23 04:47:44 2013 BST.