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

Group by: Item Type | Date | No Grouping

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

Number of items: 68.

Article

Barrett, Edd and King, Andy (2012) Range and Set Abstraction using SAT. Electronic Notes in Theoretical Computer Science, 267 (1). pp. 93-107. ISSN 978-3-642-32468-0.

Preview

Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Abstract Interpretation of Microcontroller Code: Intervals meet Congruences. Science of Computer Programming, 77 . The full text of this publication is not available from this repository.

Brauer, J''org and King, Andy (2012) Transfer Function Synthesis without Quantifier Elimination. Logical Methods in Computer Science, 8 (2012). The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy (2012) A Pearl on SAT and SMT Solving in Prolog. Theoretical Computer Science, 435 . pp. 43-55. ISSN 0304-3975. The full text of this publication is not available from this repository.

Kriener, Jael and King, Andy (2011) RedAlert: Determinacy Inference for Prolog. Theory and Practice of Logic Programming, 11 (4-5). pp. 182-196. The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy (2011) A Pearl on SAT Solving in Prolog (extended abstract). Logic Programming Newsletter, 2011 (3). pp. 182-196. The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy and Lawrence-Jones, Charles (2010) Quadtrees as an Abstract Domain. Electronic Notes in Theoretical Computer Science, 267 (1). pp. 182-196. The full text of this publication is not available from this repository.

Simon, Axel and King, Andy and Howe, Jacob M. (2010) The Two Variable Per Inequality Abstract Domain. Higher-Order and Symbolic Computation, 31 (1). pp. 182-196. The full text of this publication is not available from this repository.

King, Andy and Martin, Jonathan C. (2006) Control Generation by Program Transformation. Fundamenta Informaticae, 69 (1-2). pp. 179-218. ISSN 0169-2968.

Preview

Simon, Axel and King, Andy (2004) Convex Hull of Planar H-Polyhedra. International Journal of Computer Mathematics, 81 (4). pp. 259-271. ISSN 0020-7160.

Preview

Shen, Kish and Santos Costa, V'itor and King, Andy (1999) Distance: a New Metric for Controlling Granularity for Parallel Execution. Journal of Functional and Logic Programming, 1999 (specia).

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

Li, Xuan and King, Andy and Lu, Lunjin (2006) Collapsing Closures. In: Etalle, Sandro and Truszczynski, Mirek, eds. Logic Programming. Lecture Notes in Computer Science, 4079 . Springer Berlin / Heidelberg, pp. 148-162. ISBN 978-3-540-36635-5.

Preview

Li, Xuan and King, Andy and Lu, Lunjin (2006) Lazy Set-Sharing Analysis. In: Wadler, Philip and Hagiya, Masimi, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 3945 . Springer Berlin / Heidelberg, pp. 177-191. ISBN 978-3-540-33438-5.

Preview

Lu, Lunjin and King, Andy (2005) Determinacy inference for logic programs. In: Sagiv, Mooly, ed. Programming Languages and Systems. Springer-Verlag, Berlin, pp. 108-123. ISBN 9783540254355. The full text of this publication is not available from this repository.

Monograph

Biallas, Sebastian and Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Proof Appendix for Loop Leaping with Closures. Technical report. , School of Computing The full text of this publication is not available from this repository.

Kriener, Jael and King, Andy (2011) Appendix for RedAlert: Determinacy Inference for Prolog. Technical report. , Canterbury, CT1 7NF, UK The full text of this publication is not available from this repository.

King, Andy and Sondergaard, Harald (2008) Inferring Congruence Equations with SAT. Technical report. Springer, Berlin, Germany

Preview

Li, Xuan and King, Andy and Lu, Lunjin (2006) Correctness of Closure Collapsing. Technical report. Kent University, University of Kent, Canterbury, CT2 7NF 10.1007/11799573_13.

Preview

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

Preview

Genaim, S. and King, Andy (2004) Inferring Non-Suspension Conditions for Logic Programs with Dynamic Scheduling. Technical report. Assoc Computing Machinery 10.1145/1352582.1352585 .

Preview

Preview

Lu, Lunjin and King, Andy (2004) Determinancy Inference for Logic Programs. Technical report. Springer , University of Kent

Preview

Preview

Jones, Richard and King, Andy (2004) Collecting The Garbage Without Blocking The Traffic. Technical report. University of Kent

Preview

Preview

+1 more...

Martin, Jonathan.C. and King, Andy (2004) Control Generation by Program Transformation. Technical report. University of Kent, University of Kent, Canterbury, CT2 7NF

Preview

Preview

Martin, Jonathan.C. and King, Andy (2003) On Modular Termination Proofs. Technical report. University of Kent The full text of this publication is not available from this repository.

King, Andy and Lu, Lunjin (2003) Forward versus Backward Verification of Logic Programs. Technical report. , University of Kent The full text of this publication is not available from this repository.

Howe, J.M. and King, Andy (2002) Correctness of Set-Sharing with Linearity. Technical report. Computing Laboratory, Canterbury

Preview

Preview

Howe, J.M. and King, Andy (2001) Three Optimisations for Sharing. Technical report. UKC, University of Kent at Canterbury (Unpublished)

Preview

Preview

Howe, J.M. and King, Andy (2001) Widening BDDs. Technical report. Great Britain:University of Kent

Preview

Preview

King, Andy and Bryans, Jeremy (1998) Using Probability to Reason about Soft Deadlines. Technical report. University of Kent

Preview

+1 more...

Shen, Kish and Costa, Vitor Santos and King, Andy (1997) Distance: a New Metric for Controlling Granularity for Parallel Execution. Technical report. University of Kent at Canterbury

Preview

Preview

Codish, M. and Heaton, A. and King, Andy (1997) Widening Pos for Efficient and Scalable Groundness Analysis of Logic Programs. Technical report. University of Kent at Canterbury

Preview

Preview

King, Andy and Longley, Mark (1995) Abstract Matching Can Improve on Abstract Unification. Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

King, Andy (1995) Share x Free Revisited. Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

Conference or workshop item

Biallas, Sebastian and Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Loop Leaping with Closures. In: Nineteenth Static Analysis Symposium. The full text of this publication is not available from this repository.

Biallas, Sebastian and Brauer, J''org and King, Andy and Kowalewski, Stefan (2012) Loop Leaping with Closures. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy (2012) Polyhedral Analysis using Parametric Objectives. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy (2012) Polyhedral Analysis using Parametric Objectives. In: Nineteenth Static Analysis Symposium. The full text of this publication is not available from this repository.

Kriener, Jael and King, Andy (2012) Mutual Exclusion by Interpolation. In: Eleventh International Symposium on Functional and Logic Programming. The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy and Kriener, Jael (2011) Existential Quantification as Incremental SAT. In: Twenty Third International Conference on Computer Aided Verification. The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy (2011) Approximate Quantifier Elimination for Propositional Boolean Formulae. In: Third NASA Formal Methods Symposium. The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy (2011) Transfer Function Synthesis without Quantifier Elimination. In: Twentieth European Symposium on Programming. The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy (2010) Automatic Abstraction for Intervals using Boolean Formulae. In: Seventeenth International Static Analysis Symposium. The full text of this publication is not available from this repository.

Brauer, Jorg and King, Andy and Kowalewski, Stefan (2010) Range Analysis of Microcontroller Code Using Bit-Level Congruences. In: Formal Methods for Industrial Critical Systems. The full text of this publication is not available from this repository.

Howe, Jacob M. and King, Andy (2010) A Pearl on SAT Solving in Prolog. In: Tenth International Symposium on Functional and Logic Programming. The full text of this publication is not available from this repository.

King, Andy and Sondergaard, Harald (2010) Automatic Abstraction for Congruences. In: Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation. The full text of this publication is not available from this repository.

Howe, J.M. and King, Andy (2009) Logahedra: a New Weakly Relational Domain. In: International Symposium on Automated Technology for Verification and Analysis, OCT 13-16, 2009, Macao, Peoples Republic of China.

Preview

Charles, Philip and Howe, Jacob and King, Andy (2009) Integer Polyhedra for Program Analysis. In: Proceedings of the Fifth International Conference on Algorithmic Aspects in Information and Management, Jun 15-17, 2009, San Francisco, CA.

Preview

King, Andy (2008) Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry. In: Proceedings on Logic-Based Methods in Programming Envrionments. The full text of this publication is not available from this repository.

Simon, Axel and King, Andy (2007) Taming the Wrapping of Integer Arithmetic. In: File, Gilberto and Nielson, Hanne Riis, eds. Fourteenth International Static Analysis Symposium. Lecture Notes in Computer Science, 4634. Springer pp. 121-126. ISBN 978-3-540-74060-5 .

Preview

Simon, Axel and King, Andy (2006) Widening Polyhedra with Landmarks. In: Fourth Asian Symposium on Programming Languages and Systems.

Preview

Jones, Richard and King, Andy (2005) A Fast Analysis for Thread-Local Garbage Collection with Dynamic Class Loading. In: Fifth IEEE International Workshop on Source Code Analysis and Manipulation.

Preview

Simon, Axel and King, Andy (2005) Exploiting Sparsity in Polyhedral Analysis. In: Twelfth International Static Analysis Symposium.

Preview

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

Preview

Martin, Jonathan.C. and King, Andy (2004) On the Inference of Natural Level Mappings. In: Program Development in Computational Logic.

Preview

Preview

Lu, Lunjin and King, Andy (2004) Backward Pair Sharing Analysis. In: UNSPECIFIED, Apr 07-Jul 09, 2004, Nara, Japan .

Preview

Preview

King, Andy and Lu, Lunjin (2003) Forward versus Backward Verification of Logic Programs. In: Palamidessi, Catuscia, ed. Logic Programming. Lecture Notes in Computer Science, 2916. Springer-Verlag pp. 315-330. ISBN 3-540-20642-6 . The full text of this publication is not available from this repository.

Genaim, S. and King, Andy (2003) Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. In: Degano, Pierpaolo, ed. Lecture Notes In Computer Science. Lecture Notes in Computer Science, 2618. Springer-Verlag pp. 84-98. ISBN 3-540-00886-1 . The full text of this publication is not available from this repository.

Simon, A. and King, Andy and Howe, J.M. (2002) Two Variables per Linear Inequality as an Abstract Domain. In: Leuschel, M., ed. Logic Based Program Synthesis and Transformation. Lecture Notes in Computer Science, 2664. Springer-Verlag, Berlin pp. 71-89. ISBN 978-3-540-40438-5.

Preview

King, Andy and Shen, Kish and Benoy, Florence (1997) Lower-bound Time-Complexity Analysis of Logic Programs. In: Maluszynski, Jan, ed. Proceedings of the 1997 international symposium on Logic programming. MIT Press pp. 261-276. ISBN 0-262-63180-6.

Preview

Preview

Shen, Kish and Costa, Vitor Santos and King, Andy (1997) A New Metric for Controlling Granularity for Parallel Execution. In: Workshop on Parallelism and Implementation Technology for Constraint Logic Programming Languages.

Preview

Preview

Benoy, Florence and King, Andy (1997) Inferring Argument Size Relationships with CLP(R). In: Proceedings of the 6th International Workshop on Logic Programming Synthesis and Transformation. Lecture Notes in Computer Science, 1207. Springer-Verlag pp. 204-223. ISBN 3-540-62718-9 .

Preview

Preview

Martin, Jon and King, Andy (1997) Typed Norms for Typed Logic Programs. In: Logic Program Synthesis and Transformation, Aug 28-30, 1996, Stockholm, Sweden, .

Preview

Preview

Martin, Jon and King, Andy (1997) Inferring Numeric Relationships for Logic Program Transformation. In: Pre-conference proceedings of Logic Program Synthesis and Transformation.

Preview

Preview

Martin, J.C. and King, Andy and Soper, P. (1997) Typed norms for typed logic programs. In: Gallagher, J., ed. Lecture Notes In Computer Science. Springer-Verlag Berlin pp. 224-238. ISBN 3-540-62718-9. The full text of this publication is not available from this repository.

King, Andy (1994) A Synergistic Analysis for Sharing and Groundness which traces Linearity. In: European Symposium on Programming.

Preview

Preview

Book

King, Andy (2008) Logic-Based Program Synthesis and Transformation, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers. Lecture Notes in Computer Science (4915). Springer-Verlag, 219 pp. ISBN 978-3-540-78768-6. The full text of this publication is not available from this repository.

This list was generated on Sun May 19 01:53:33 2013 BST.