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

Group by: Item Type | Date | No Grouping

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

Number of items: 6.

Article

King, A. and Lu, L. (2002) A Backward Analysis for Constraint Logic Programs. Theory and Practice of Logic Programming, 2 (Part 1). pp. 517-542. ISSN 1471-0684.

Preview

Preview

Book section

King, Andy and Lu, L. and Genaim, S. (2006) Detecting Determinacy in Prolog Programs. In: Etalle, Sandro and Truszczynski, Mirek, eds. Logic Programming. Lecture Notes in Computer Science, 4079 . Springer-Verlag, Berlin, pp. 132-147. ISBN 978-3-540-36635-5.

Preview

Monograph

King, Andy and Lu, L. and Genaim, S. (2005) Determinacy Inference by Suspension Inference. Technical report. , University of Kent

Preview

King, A. and Lu, L. (2001) A Backward Analysis for Constraint Logic Programs. Technical report. University of Kent, University of Kent at Canterbury, Kent, CT2 7NF, UK

Preview

Preview

Conference or workshop item

Howe, J.M. and King, Andy and Lu, L. (2004) Analysing Logic Programs by Reasoning Backwards. In: Program Development in Computational Logic.

Preview

Lu, L. and King, A. (2002) Backward Type Inference Generalises Type Checking. In: Hermenegildo, M. and Puebla, G., eds. Static Analysis. Lecture Notes in Computer Science, 2477. Springer-Verlag, Berlin pp. 85-101. ISBN 978-3-540-44235-6.

Preview

Preview

This list was generated on Fri May 24 04:21:07 2013 BST.