School of Computing

Publications by Prof Andy King

Also view these in the Kent Academic Repository

Article
Robbins, E., King, A. and Howe, J. (2020) "Backjumping is Exception Handling", Theory and Practice of Logic Programming. Cambridge Univerity Press, pp. 1-20. Available at: https://doi.org/10.1017/S1471068420000435.
Chawdhary, A., Robbins, E. and King, A. (2019) "Incrementally Closing Octagons", Formal Methods in System Design. Springer, pp. 232-277. doi: 10.1007/s10703-017-0314-7.
Howe, J., King, A. and Simon, A. (2019) "Incremental Closure for Systems of Two Variables Per Inequality", Theoretical Computer Science. Elsevier, pp. 1-64. doi: 10.1016/j.tcs.2018.12.001.
Jones, W., Chawdhary, A. and King, A. (2017) "Optimising the Volgenant–Jonker algorithm for approximating graph edit distance", Pattern Recognition Letters. Elsevier, pp. 47-54. doi: 10.1016/j.patrec.2016.07.024.
Chawdhary, A., King, A. and Singh, R. (2016) "Partial Evaluation of String Obfuscations for Java Malware Detection", Formal Aspects of Computing. Springer. doi: 10.1007/s00165-016-0357-3.
Robbins, E., Howe, J. and King, A. (2015) "Theory Propagation and Reification", Science of Computer Programming. Elsevier, pp. 3-22. doi: 10.1016/j.scico.2014.05.013.
Brauer, J., King, A. and Kowalewski, S. (2013) "Abstract Interpretation of Microcontroller Code: Intervals meet Congruences", Science of Computer Programming. Elsevier, pp. 862-883. doi: 10.1016/j.scico.2012.06.001.
Barrett, E. and King, A. (2012) "Range and Set Abstraction using SAT", Electronic Notes in Theoretical Computer Science. Elsevier, pp. 93-107. doi: 10.1016/j.entcs.2010.09.003.
Brauer, J. and King, A. (2012) "Transfer Function Synthesis without Quantifier Elimination (long version)", Logical Methods in Computer Science. Available at: http://www.cs.kent.ac.uk/pubs/2012/3238.
Howe, J. and King, A. (2012) "A Pearl on SAT and SMT Solving in Prolog", Theoretical Computer Science. Elsevier, pp. 43-55. doi: j.tcs.2012.02.024.
King, A., Mycroft, A., Simon, A. and Reps, T. (2012) "Analysis of Executables: Benefits and Challenges", Dagstuhl Reports. Analysis of Executables: Benefits and Challenges, pp. 100-116. doi: 10.4230/DagRep.2.1.100.
Kriener, J. and King, A. (2011) "RedAlert: Determinacy Inference for Prolog", Theory and Practice of Logic Programming. Cambridge University Press, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3108.
Howe, J. and King, A. (2011) "A Pearl on SAT Solving in Prolog (Logic Programming Newsletter)", Logic Programming Newsletter. Association of Logic Programming, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3095.
Howe, J., King, A. and Lawrence-Jones, C. (2010) "Quadtrees as an Abstract Domain", Electronic Notes in Theoretical Computer Science. Elsevier, pp. 182-196. doi: 10.1016/j.entcs.2010.09.008.
Simon, A., King, A. and Howe, J. (2010) "The Two Variable Per Inequality Abstract Domain", Higher-Order and Symbolic Computation. Springer, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3167.
Genaim, S. and King, A. (2008) "Inferring non-suspension conditions for logic programs with dynamic scheduling", ACM Transactions on Computational Logic. ACM, pp. 182-196. doi: 10.1145/1352582.1352585.
Kettle, N. and King, A. (2008) "An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs", IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE, pp. 764-777. doi: 10.1109/TCAD.2008.917592.
Jonathan, M. and King, A. (2006) "Control Generation by Program Transformation", Fundamenta informaticae. IOS Press, pp. 179-218. Available at: http://iospress.metapress.com/content/dg3x9l3ljw4p9a2j/?p=80a3bd845c2448a3a715e89f4ae6906c&pi=6.
Benoy, F., King, A. and Mesnard, F. (2005) "Computing Convex Hulls with a Linear Solver", Theory and Practice of Logic Programming. Cambridge Univerity Press, pp. 259-271. doi: 10.1017/S1471068404002261.
Howe, J. and King, A. (2003) "Three Optimisations for Sharing", Theory and Practice of Logic Programming. Cambridge Univerity Press, pp. 243-257. doi: 10.1017/S1471068402001497.
Howe, J. and King, A. (2003) "Efficient Groundness Analysis in Prolog", Theory and Practice of Logic Programming. Cambridge University Press, pp. 95-124. doi: 10.1017/S1471068402001485.
King, A. and Lu, L. (2002) "A Backward Analysis for Constraint Logic Programs", Theory and Practice of Logic Programming. Cambridge Univerity Press, pp. 517-547. doi: 10.1017/S1471068402001436.
Smaus, J., Hill, P. and King, A. (2001) "Verifying termination and error-freedom of logic programs with block declarations", Theory and Practice of Logic Programming. Cambridge Univerity Press, pp. 447-486. doi: 10.1017/S1471068401001107.
King, A. (2000) "Pair-sharing over rational trees", Journal of Logic Programming. Elsevier, pp. 139-155. doi: 10.1016/S0743-1066(00)00009-1.
Heaton, A., Abo-Zaed, M., King, A. and Micheal, C. (2000) "A Simple Polynomial Groundness Analysis for Logic Programs", Journal of Logic Programming. Elsevier, pp. 143-156. doi: 10.1016/S0743-1066(00)00006-6.
Howe, J. and King, A. (2000) "Abstracting numeric constraints with Boolean functions", Information Processing Letters. Elsevier Science B.V, pp. 17-23. doi: 10.1016/S0020-0190(00)00081-8.
Shen, K., Santos Costa, V. and King, A. (1999) "Distance: a New Metric for Controlling Granularity for Parallel Execution", Journal of Functional and Logic Programming, pp. 1-23. Available at: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/S99-01/S99-01.html.
Hill, P. and King, A. (1998) "Detecting and Exploiting Determinacy in Logic Programs", Computational Logic Newsletter, pp. 100-101.
Hill, P. and King, A. (1997) "Determinacy and Determinacy Analysis", Journal of Programming Languages. Chapman Hall, pp. 135-171. Available at: http://www.informatik.uni-trier.de/~ley/db/journals/jpl/jpl5.html.
King, A. (1994) "High Precision Sharing Analysis", Journal of Programming Languages. Chapman Hall, pp. 149-191.
Book Section
Seed, T., King, A. and Evans, N. (2020) "Reducing Bit-Vector Polynomials to SAT using Gröbner Bases". Edited by L. Pulina and S. Martina. Springer, pp. 361-377. doi: https://doi.org/10.1007/978-3-030-51825-7.
Okudono, T. and King, A. (2020) "Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic", Lecture Notes in Computer Science. Edited by A. Biere and D. Parker. 26th International Conference, TACAS 2020, Springer, pp. 79-96. doi: 10.1007/978-3-030-45190-5_5.
Chawdhary, A. and King, A. (2018) "Closing the Performance Gap between Doubles and Rationals for Octagons". Edited by A. Podelski. Springer, pp. 187-204. doi: 10.1007/978-3-319-99725-4_13.
Chawdhary, A. and King, A. (2018) "Closing the Performance Gap between Doubles and Rationals for Octagons", Lecture Notes in Computer Science. Edited by A. Podelski. SAS 2018: 25th International Static Analysis Symposium, Springer. doi: 10.1007/978-3-319-99725-4_13.
Chawdhary, A. and King, A. (2017) "Compact Difference Bound Matrices". Edited by E. Chang. Springer, pp. 471-490. doi: 10.1007/978-3-319-71237-6_23.
Howe, J., Robbins, E. and King, A. (2017) "Theory Learning with Symmetry Breaking". Edited by B. Pientka. Namur, Belgium: ACM, pp. 85-96. doi: 10.1145/3131851.3131861.
Robbins, E., King, A. and Schrijvers, T. (2016) "From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes". Edited by A. Guha and S. Chong. St. Petersburg, Florida, USA: ACM Press, pp. 191-203. doi: 10.1145/2837614.2837633.
Singh, R. and King, A. (2015) "Partial Evaluation for Java Malware Detection". Edited by M. Proietti and H. Seki. Springer, pp. 133-147. doi: 10.1007/978-3-319-17822-6_8.
Jones, W., Chawdhary, A. and King, A. (2015) "Revisiting Volgenant-Jonker for Approximating Graph Edit Distance". Edited by C.-L. Liu, B. Luo, W. Kropatsch, and J. Cheng. Springer, pp. 98-107. doi: 10.1007/978-3-319-18224-7.
Chawdhary, A., Robbins, E. and King, A. (2014) "Simple and Efficient Algorithms for Octagons". Edited by J. Garrigue. Springer, pp. 296-313. doi: 10.1007/978-3-319-12736-1_16.
Kriener, J. and King, A. (2014) "Semantics for Prolog with Cut – Revisited". Edited by E. Sumii and M. Codish. Springer Verlag, pp. 270-284.
Bourquin, M., King, A. and Robbins, E. (2013) "BinSlayer: Accurate Comparison of Binary Executables", PPREW '13. 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop, New York, USA: ACM. doi: 10.1145/2430553.2430557.
Kriener, J., King, A. and Blazy, S. (2013) "Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq". Edited by T. Schrijvers. 15th International Symposium on Principles and Practice of Declarative Programming PPDP 2013, New York: ACM Press, pp. 37-48. doi: 10.1145/2505879.2505886.
Robbins, E., Howe, J. and King, A. (2013) "Theory Propagation and Rational-Trees". Edited by T. Schrijvers. 15th International Symposium on Principles and Practice of Declarative Programming PPDP 2013, New York, USA: ACM, pp. 193-204. doi: 10.1145/2505879.2505901.
Biallas, S., Brauer, J., King, A. and Kowalewski, S. (2012) "Loop Leaping with Closures", Nineteenth Static Analysis Symposium. Edited by A. Min'e and D. A. Schmidt. Nineteenth Static Analysis Symposium, Springer, pp. 214-230. Available at: http://www.cs.kent.ac.uk/pubs/2012/3230.
Howe, J. and King, A. (2012) "Polyhedral Analysis using Parametric Objectives", Nineteenth Static Analysis Symposium. Edited by A. Min'e and D. A. Schmidt. Nineteenth Static Analysis Symposium, Springer, pp. 41-57. Available at: http://www.cs.kent.ac.uk/pubs/2012/3223.
Kriener, J. and King, A. (2012) "Mutual Exclusion by Interpolation: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings". Edited by T. Schrijvers and P. Thiemann. Springer, pp. 182-196. doi: 10.1007/978-3-642-29822-6_16.
Brauer, J. and King, A. (2011) "Approximate Quantifier Elimination for Propositional Boolean Formulae", Third NASA Formal Methods Symposium. Edited by M. Bobaru, K. Havelund, G. Holzmann, and R. Joshi. Third NASA Formal Methods Symposium, Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3084.
Brauer, J. and King, A. (2011) "Transfer Function Synthesis without Quantifier Elimination", Twentieth European Symposium on Programming. Edited by G. Barthe. Twentieth European Symposium on Programming, Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3072.
Brauer, J., King, A. and Kriener, J. (2011) "Existential Quantification as Incremental SAT: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings". Edited by G. Gopalakrishnan and S. Qadeer. Springer, pp. 191-207. doi: 10.1007/978-3-642-22110-1_17.
Brauer, J. and King, A. (2010) "Automatic Abstraction for Intervals using Boolean Formulae", Seventeenth International Static Analysis Symposium. Edited by R. Cousot and M. Martel. Seventeenth International Static Analysis Symposium, Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3015.
Howe, J. and King, A. (2010) "A Pearl on SAT Solving in Prolog", Tenth International Symposium on Functional and Logic Programming. Edited by M. Blume and G. Vidal. Tenth International Symposium on Functional and Logic Programming, Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/2970.
King, A. and Sondergaard, H. (2010) "Automatic Abstraction for Congruences", Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation. Edited by G. Barthe and M. V. Hermenegildo. Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation, Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/2966.
Brauer, J., King, A. and Kowalewski, S. (2010) "Range Analysis of Microcontroller Code Using Bit-Level Congruences: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings". Edited by S. Kowalewski and M. Roveri. Springer, pp. 82-98. doi: 10.1007/978-3-642-15898-8_6.
Howe, J. and King, A. (2009) "Logahedra: a New Weakly Relational Domain: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings". Edited by L. Zhiming and R. Anders. Springer, pp. 306-320. doi: 10.1007/978-3-642-04761-9_23.
Charles, P., King, A. and Howe, J. (2009) "Integer Polyhedra for Program Analysis: 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings". Edited by A. Goldberg and Y. Zhou. Springer, pp. 85-99. doi: 10.1007/978-3-642-02158-9_9.
King, A. and Sondergaard, H. (2008) "Inferring Congruence Equations using SAT: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings". Edited by A. Gupta and S. Malik. Springer, pp. 281-293. doi: 10.1007/978-3-540-70545-1_26.
Simon, A. and King, A. (2007) "Taming the Wrapping of Integer Arithmetic". Edited by G. File and H. R. Nielson. Berlin, Germany: Springer, pp. 182-196. doi: 10.1007/978-3-540-74061-2_8.
Simon, A. and King, A. (2007) "Widening Polyhedra with Landmarks: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings". Edited by N. Kobayashi. Springer, pp. 166-182. doi: 10.1007/11924661_11.
Kettle, N. and King, A. (2006) "An Anytime Symmetry Detection Algorithm for ROBDDs", ASP-DAC '06. Edited by H. Onodera. 2006 Asia and South Pacific Design Automation Conference, IEEE, pp. 243-248. doi: 10.1145/1118299.1118364.
King, A., Lu, L. and Genaim, S. (2006) "Detecting Determinacy in Prolog Programs: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings". Edited by S. Etalle and M. Truszczynski. Springer, pp. 132-147. doi: 10.1007/11799573_12.
Li, X., King, A. and Lu, L. (2006) "Collapsing Closures: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings". Edited by S. Etalle and M. Truszczynski. Springer, pp. 148-162. doi: 10.1007/11799573_13.
Li, X., King, A. and Lu, L. (2006) "Lazy Set-Sharing Analysis: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings". Edited by P. Wadler and M. Hagiya. Springer, pp. 177-191. doi: 10.1007/11737414_13.
Kettle, N., King, A. and Strzemecki, T. (2006) "Widening ROBDDs with Prime Implicants: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings". Edited by H. Hermanns and J. Palsberg. Springer, pp. 105-119. doi: 10.1007/11691372_7.
Simon, A. and King, A. (2005) "Exploiting Sparsity in Polyhedral Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings". Edited by C. Hankin and I. Siveroni. Springer, pp. 336-351. doi: 10.1007/11547662_23.
Lu, L. and King, A. (2005) "Determinacy Inference for Logic Programs: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings". Edited by S. Sagiv. Springer, pp. 108-123. doi: 10.1007/978-3-540-31987-0_9.
Howe, J., King, A. and Lu, L. (2004) "Analysing Logic Programs by Reasoning Backwards: A Decade of Research Advances in Logic-Based Program Development". Edited by M. Bruynooghe and K.-K. Lau. Springer, pp. 152-188. doi: 10.1007/978-3-540-25951-0_6.
Martin, J. and King, A. (2004) "On the Inference of Natural Level Mappings: A Decade of Research Advances in Logic-Based Program Development". Edited by M. Bruynooghe and K.-K. Lau. Springer, pp. 432-452. doi: 10.1007/978-3-540-25951-0_13.
Lu, L. and King, A. (2004) "Backward Pair Sharing Analysis: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings". Edited by Y. Kameyama and P. Stuckey. Springer, pp. 132-146. doi: 10.1007/978-3-540-24754-8_11.
King, A. and Lu, L. (2003) "Forward versus Backward Verification of Logic Programs: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings". Edited by C. Palamidessi. Springer, pp. 315-330. doi: 10.1007/978-3-540-24599-5_22.
Genaim, S. and King, A. (2003) "Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings". Edited by P. Degano. Springer, pp. 84-98. doi: 10.1007/3-540-36575-3_7.
Lu, L. and King, A. (2002) "Backward Type Inference Generalises Type Checking", Ninth International Static Analysis Symposium. Edited by M. V. Hermenegildo and G. Puebla. Ninth International Static Analysis Symposium, Berlin, Germany: Springer, pp. 85-101. doi: 10.1007/3-540-45789-5_9.
Simon, A. and King, A. (2002) "Analyzing String Buffers in C", International Conference on Algebraic Methodology and Software Technology. Edited by H. Kirchner and C. Ringeissen. International Conference on Algebraic Methodology and Software Technology, Springer, pp. 365-379. doi: 10.1007/3-540-45719-4_25.
Simon, A., King, A. and Howe, J. (2002) "Two Variables per Linear Inequality as an Abstract Domain", Proceedings of Logic Based Program Development and Transformation. Edited by M. Leuschel. Proceedings of Logic Based Program Development and Transformation, Berlin, Germany: Springer, pp. 71-89. doi: 10.1007/3-540-45013-0_7.
Howe, J. and King, A. (2001) "Positive Boolean Functions as Multiheaded Clauses", International Conference on Logic Programming. Edited by P. Codognet. International Conference on Logic Programming, London: Springer-Verlag, pp. 120-134. doi: 10.1007/3-540-45635-X_16.
Heaton, A., Hill, P. and King, A. (2000) "Abstract Domains for Universal and Existential Properties:9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings". Edited by G. Smolka. Springer, pp. 150-164. doi: 10.1007/3-540-46425-5_10.
Howe, J. and King, A. (2000) "Implementing Groundness Analysis with Definite Boolean Functions: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings". Edited by G. Smolka. Springer, pp. 200-214. doi: 10.1007/3-540-46425-5_13.
Howe, J. and King, A. (1999) "Specialising Finite Domain Programs using Polyhedra", Logic Programming, Synthesis and Transformation (Selected Papers). Edited by A. Bossi. Logic Programming, Synthesis and Transformation (Selected Papers), Springer-Verlag, pp. 118-135.
Smaus, J., Hill, P. and King, A. (1999) "Mode Analysis Domains for Typed Logic Programs", Selected papers from the 9th International Workshop on Logic Programming Synthesis and Transformation. Edited by A. Bossi. 9th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'99), Berlin, Germany: Springer, pp. 82-101. doi: 10.1007/10720327_6.
King, A., Smaus, J. and Hill, P. (1999) "Quotienting Share for Dependency Analysis: 8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings". Edited by D. Swierstra. Springer, pp. 59-73. doi: 10.1007/3-540-49099-X_5.
Shen, K., Costa, V. and King, A. (1998) "Distance: a New Metric for Controlling Granularity for Parallel Execution", Joint International Conference and Symposium on Logic Programming. Edited by J. Jaffar. Joint International Conference and Symposium on Logic Programming, Cambridge, Massachusetts, USA: MIT Press, pp. 85-99. Available at: https://dl.acm.org/citation.cfm?id=300851.
Heaton, A., Hill, P. and King, A. (1998) "Analysis of Logic Programs with Delay", Logic Programming, Synthesis and Transformation (Selected Papers). Edited by N. Fuchs. Logic Programming, Synthesis and Transformation (Selected Papers), Springer-Verlag, pp. 148-167. doi: 10.1007/3-540-49674-2_8.
Smaus, J., Hill, P. and King, A. (1998) "Termination of Logic Programs with block Declarations Running in Several Modes", International Symposium on Programming Languages: Implementations, Logics and Programs, jointly held with Algebraic and Logic Programming. Edited by C. Palamidessi. International Symposium on Programming Languages: Implementations, Logics and Programs, jointly held with Algebraic and Logic Programming, Springer-Verlag, see also http://www.springer.de/comp/lncs/index.html, pp. 182-196.
Smaus, J., Hill, P. and King, A. (1998) "Preventing Instantiation Errors and Loops for Logic Programs with Several Modes Using block Declarations". Edited by P. Flener. Springer, pp. 182-196.
King, A., Shen, K. and Benoy, F. (1997) "Lower-bound Time-Complexity Analysis of Logic Programs", International Symposium on Logic Programming. Edited by J. Maluszynski. International Symposium on Logic Programming, Cambridge, Massachusetts, USA: MIT Press, pp. 261-276. Available at: https://dl.acm.org/citation.cfm?id=271338.271391.
Martin, J. and King, A. (1997) "Generating Efficient, Terminating Logic Programs", Proceedings of the Seventh International Joint Conference on Theory and Practice of Software Development. Edited by M. Bidoit and M. Dauchet. Proceedings of the Seventh International Joint Conference on Theory and Practice of Software Development, Springer Verlag, pp. 173-184.
Benoy, F. and King, A. (1996) "Inferring Argument Size Relationships with CLP(R)", Logic Program Synthesis and Transformation. Edited by J. Gallagher. Logic Program Synthesis and Transformation, Berlin, Germany: Springer, pp. 204-223. doi: 10.1007/3-540-62718-9_12.
Martin, J. and King, A. (1996) "Typed Norms for Typed Logic Programs", Logic Program Synthesis and Transformation. Edited by J. Gallagher. Logic Program Synthesis and Transformation, Springer-Verlag, pp. 224-238. doi: 10.1007/3-540-62718-9_13.
Kemp, B., King, A. and Soper, P. (1994) "Continuation Compilation for Concurrent Logic Programming", Proceedings of the Symposium on Artificial Intelligence in Real-time Control. Edited by A. Crespo. Proceedings of the Symposium on Artificial Intelligence in Real-time Control, Pergamon, pp. 299-306.
King, A. (1994) "A Synergistic Analysis for Sharing and Groundness which traces Linearity", European Symposium on Programming. Edited by D. Sannella. European Symposium on Programming, Berlin, Germany: Springer, pp. 363-378. doi: 10.1007/3-540-57880-3_24.
King, A. and Soper, P. (1994) "Depth-k Sharing and Freeness", Logic Programming - Proceedingsof the Eleventh International Conference on Logic Programming. Edited by P. Van Hentenryck. 11th International Conference on Logic Programming, Cambridge, Massachusetts, USA: MIT Press, pp. 553-568. Available at: https://dl.acm.org/citation.cfm?id=189935.
King, A. (1994) "A Framework for Freeness Analysis". Edited by E. Tick and G. Succi. Dordrecht: Kluwer Academic Publishers, pp. 137-149.
King, A. and Soper, P. (1992) "Schedule Analysis of Concurrent Logic Programs", Logic Programming: Proceedings of the Joint International Conference on Logic Programming. Edited by K. Apt. Joint International Conference and Symposium on Logic Programming, USA: MIT Press, pp. 478-492.
King, A. and Soper, P. (1992) "Serialisation Analysis of Concurrent Logic Programs", Algebraic and Logic Programming. Edited by H. Kirchner and G. Levi. Algebraic and Logic Programming, Springer, pp. 322-334.
King, A. and Soper, P. (1992) "Ordering Optimizations for Concurrent Logic Programs". Edited by A. Nerode and M. Taitslin. Springer, pp. 221-228. doi: 10.1007/BFb0023876.
Barrett, E. and King, A. (1992) "Range Analysis of Binaries with Minimal Effort". Springer, pp. 93-107. doi: 10.1007/978-3-642-32469-7_7.
King, A. and Soper, P. (1991) "Reducing Scheduling Overheads for Concurrent Logic Programs", Processing Declarative Knowledge. Edited by H. Boley and M. Richter. Processing Declarative Knowledge, Springer-Verlag, pp. 279-286.
Conference Or Workshop Item
Kriener, J. and King, A. (2012) "Mutual Exclusion by Interpolation", Eleventh International Symposium on Functional and Logic Programming. Edited by T. Schrijvers and P. Thiemann. Eleventh International Symposium on Functional and Logic Programming, Kobe, Japan: Springer, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2012/3201.
Brauer, J., King, A. and Kriener, J. (2011) "Existential Quantification as Incremental SAT", Twenty Third International Conference on Computer Aided Verification. Edited by G. Gopalakrishnan and S. Qadeer. Twenty Third International Conference on Computer Aided Verification, Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3094.
Kriener, J. and King, A. (2011) "RedAlert: Determinacy Inference for Prolog". 27th International Conference on Logic Programming, University of Kent, School of Computing.
King, A. (2008) "Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry", Proceedings on Logic-Based Methods in Programming Envrionments. Edited by P. Arenas and D. Zanardini. Proceedings on Logic-Based Methods in Programming Envrionments, Udine: CoRR, pp. 1-7.
Datasets / Databases
Robbins, E., King, A. and Schrijvers, T. (2015) "Benchmarks, assembly files, and witnesses."
Edited Book
King, A. (2016) "International Symposium on Functional and Logic Programming". Edited by O. Kiselyov and A. King. Switzerland: Springer International Publishing. doi: 10.1007/978-3-319-29604-3.
Chitil, O. and King, A. (2014) "PPDP '14: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming". Edited by O. Chitil, A. King, and D. Olivier. ACM. Available at: http://dl.acm.org/citation.cfm?id=2643135.
De Schreye, D. and Janssens, G. (2012) "PPDP '12 Proceedings of the 14th symposium on Principles and practice of declarative programming". Edited by D. De Schreye, G. Janssens, and A. King. 14th International Symposium on Association for Computing Machinery Principles and Practice of Declarative Programming, New York, USA: ACM.
King, A. (2008) "Logic-Based Program Synthesis and Transformation". Edited by A. King. Springer-Verlag.
Monograph
Biallas, S., Brauer, J., King, A. and Kowalewski, S. (2012) "Loop Leaping with Closures (proof appendix for conference submission)". University of Kent, School of Computing. Available at: http://www.cs.kent.ac.uk/pubs/2012/3230/.
Research Report (external)
Robbins, E., King, A. and Schrijvers, T. (2015) "Proof appendix to accompany the paper, 'From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes'". University of Kent.
Kriener, J. and King, A. (2011) "Determinacy Inference for Prolog (appendix for conference submission)". Canterbury, CT1 7NF, UK: University of Kent, School of Computing, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3107.
Kettle, N. and King, A. (2006) "Proof of New Decompositional Results for Generalized Symmetries (appendix for journal paper)". University of Kent, Canterbury, Kent, CT2 7NF: University of Kent, School of Computing.
Li, X., King, A. and Lu, L. (2006) "Correctness of Closure Collapsing (appendix to conference submission)". University of Kent, Canterbury, CT2 7NF: University of Kent, School of Computing, pp. 148-162. doi: 10.1007/11799573_13.
Kettle, N. and King, A. (2006) "Proof of New Implicational Relationships between Generalized Symmetries (appendix for journal paper)". University of Kent, Canterbury, Kent, CT2 7NF: University of Kent, School of Computing.
King, A. and Lu, L. (2003) "Forward versus Backward Verification of Logic Programs (appendix for conference submission)". University of Kent: University of Kent, School of Computing. Available at: http://www.cs.kent.ac.uk/pubs/2003/1618.
Howe, J. and King, A. (2002) "Correctness of Set-Sharing with Linearity". Canterbury: University of Kent, School of Computing.
King, A. and Lu, L. (2001) "A Backward Analysis for Constraint Logic Programs (appendix for journal paper)". University of Kent at Canterbury, Kent, CT2 7NF, UK: University of Kent, School of Computing.
Howe, J. and King, A. (2001) "Widening BDDs". University of Kent, School of Computing.
Heaton, A. and King, A. (2000) "Abstracting Builtins for Groundness Analysis". Computing Laboratory: University of Kent, School of Computing.
Howe, J. and King, A. (1999) "A Semantic Basis for Specialising Domain Constraints". Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK: University of Kent, School of Computing.
Benoy, F. and King, A. (1999) "An Isomorphism between Abstract Polyhedral Cones and Definite Boolean Functions". University of Kent: University of Kent, School of Computing.
King, A. and Bryans, J. (1998) "Using Probability to Reason about Soft Deadlines". University of Kent, School of Computing.
King, A. and Longley, M. (1995) "Abstract Matching Can Improve on Abstract Unification". University of Kent, Canterbury, UK: University of Kent, School of Computing.
King, A. (1995) "Share x Free Revisited". University of Kent, Canterbury, UK: University of Kent, School of Computing.
Total publications in KAR: 122 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 02/12/2020