Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
Number of items: 16.

Monograph

Biallas, Sebastian and Brauer, Jorg and King, Andy and Kowalewski, Stefan (2012) Loop Leaping with Closures (proof appendix for conference submission). Technical report. University of Kent, School of Computing (KAR id:37622)
[thumbnail of content.pdf]
Preview

Conference or workshop item

Kriener, Jael, King, Andy (2011) RedAlert: Determinacy Inference for Prolog. In: 27th International Conference on Logic Programming, July 6-10, 2011, LEXINGTON, KENTUCKY, USA. (KAR id:37621)
[thumbnail of content.pdf]
Preview

Research report (external)

Kriener, Jael, King, Andy (2011) Determinacy Inference for Prolog (appendix for conference submission). University of Kent, School of Computing, Canterbury, CT1 7NF, UK (KAR id:30760)
[thumbnail of Technical Report 11-1]
Preview
Kettle, Neil, King, Andy (2006) Proof of New Decompositional Results for Generalized Symmetries (appendix for journal paper). University of Kent, School of Computing, University of Kent, Canterbury, Kent, CT2 7NF, 10 pp. (KAR id:14437)
[thumbnail of proof_of_new_decompositionsal.ps]
Preview
Li, Xuan, King, Andy, Lu, Lunjin (2006) Correctness of Closure Collapsing (appendix to conference submission). Lecture Notes in Computer Science, 4079/2. Report number: 10.1007/11799573_13. University of Kent, School of Computing, University of Kent, Canterbury, CT2 7NF ISBN 978-3-540-36635-5. (doi:10.1007/11799573_13) (KAR id:14487)
[thumbnail of Correctness_of_Closure_Collapsing.ps]
Preview
Kettle, Neil, King, Andy (2006) Proof of New Implicational Relationships between Generalized Symmetries (appendix for journal paper). University of Kent, School of Computing, University of Kent, Canterbury, Kent, CT2 7NF, 11 pp. (KAR id:14501)
[thumbnail of Proof_of_New_Implicational_Relationships_between_Generalized_Symmetries.ps]
Preview
King, Andy, Lu, Lunjin (2003) Forward versus Backward Verification of Logic Programs (appendix for conference submission). University of Kent, School of Computing, University of Kent (KAR id:13989)
[thumbnail of mycontent.pdf]
Preview
Howe, Jacob M., King, Andy (2002) Correctness of Set-Sharing with Linearity. University of Kent, School of Computing, Canterbury, 5 pp. (KAR id:13819)
[thumbnail of CorrectJ.pdf]
Preview
King, Andy, Lu, Lunjin (2001) A Backward Analysis for Constraint Logic Programs (appendix for journal paper). University of Kent, School of Computing, University of Kent at Canterbury, Kent, CT2 7NF, UK, 20 pp. (KAR id:13517)
[thumbnail of a_backward_analysis_king.pdf]
Preview
Howe, Jacob M., King, Andy (2001) Widening BDDs. University of Kent, School of Computing, 9 pp. (KAR id:13611)
[thumbnail of widening_bdds_howe.pdf]
Preview
Heaton, Andrew, King, Andy (2000) Abstracting Builtins for Groundness Analysis. University of Kent, School of Computing, Computing Laboratory, 8 pp. (KAR id:22058)
[thumbnail of Abstracting_Builtins_for_Groundness_Analysis.pdf]
Preview
Howe, Jacob M., King, Andy (1999) A Semantic Basis for Specialising Domain Constraints. University of Kent, School of Computing, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK, 12 pp. (KAR id:21749)
[thumbnail of a_semantic_basis_for_specialising_howe.pdf]
Preview
Benoy, Florence, King, Andy (1999) An Isomorphism between Abstract Polyhedral Cones and Definite Boolean Functions. University of Kent, School of Computing, University of Kent, 21 pp. (KAR id:21867)
[thumbnail of an_isomorphism_between_abstract_benoy.pdf]
Preview
King, Andy, Bryans, Jeremy W. (1998) Using Probability to Reason about Soft Deadlines. University of Kent, School of Computing, 7 pp. (KAR id:21616)
[thumbnail of Using_Probability_to_Reason_about_Soft_Deadlines.pdf]
Preview
King, Andy, Longley, Mark (1995) Abstract Matching Can Improve on Abstract Unification. University of Kent, School of Computing, University of Kent, Canterbury, UK (KAR id:21270)
[thumbnail of AbstractKing.pdf]
Preview
King, Andy (1995) Share x Free Revisited. University of Kent, School of Computing, University of Kent, Canterbury, UK (KAR id:21294)
[thumbnail of ShareXKing.pdf]
Preview
This list was generated on Fri Dec 3 02:36:12 2021 GMT.