© University of Kent - Contact | Feedback | Legal | FOI | Cookies

# Publications by Prof Andy King

Also view these in the Kent Academic Repository

*Formal Methods in System Design*[Online]

**54**:232-277. Available at: https://doi.org/10.1007/s10703-017-0314-7.

*Theoretical Computer Science*[Online]

**768**:1-64. Available at: https://doi.org/10.1016/j.tcs.2018.12.001.

*Pattern Recognition Letters*[Online]:1-9. Available at: http://dx.doi.org/10.1016/j.patrec.2016.07.024.

*Formal Aspects of Computing*[Online]

**29**. Available at: https://doi.org/10.1007/s00165-016-0357-3.

*Science of Computer Programming*[Online]

**111**:3-22. Available at: http://dx.doi.org/10.1016/j.scico.2014.05.013.

*Science of Computer Programming*[Online]

**78**:862-883. Available at: https://doi.org/10.1016/j.scico.2012.06.001.

*Electronic Notes in Theoretical Computer Science*[Online]

**267**:93-107. Available at: http://www.cs.kent.ac.uk/pubs/2010/3050.

*Logical Methods in Computer Science*[Online]

**8**. Available at: http://www.cs.kent.ac.uk/pubs/2012/3238.

*Theoretical Computer Science*[Online]

**435**:43-55. Available at: http://www.cs.kent.ac.uk/pubs/2012/3136.

*Dagstuhl Reports*[Online]

**2**:100-116. Available at: http://dx.doi.org/10.4230/DagRep.2.1.100.

*Theory and Practice of Logic Programming*[Online]

**11**:182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3108.

*Logic Programming Newsletter*[Online]

**2011**:182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3095.

*Electronic Notes in Theoretical Computer Science*[Online]

**267**:182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3051.

*Higher-Order and Symbolic Computation*[Online]

**31**:182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3167.

*ACM Transactions on Computational Logic*[Online]

**9**:182-196. Available at: http://dx.doi.org/10.1145/1352582.1352585.

*IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems*[Online]

**27**:764-777. Available at: http://dx.doi.org/10.1109/TCAD.2008.917592.

*Fundamenta informaticae*[Online]

**69**:179-218. Available at: http://iospress.metapress.com/content/dg3x9l3ljw4p9a2j/?p=80a3bd845c2448a3a715e89f4ae6906c&pi=6.

*Theory and Practice of Logic Programming*[Online]

**5**:259-271. Available at: http://dx.doi.org/10.1017/S1471068404002261.

*Theory and Practice of Logic Programming*[Online]

**3**:243-257. Available at: http://dx.doi.org/10.1017/S1471068402001497.

*Theory and Practice of Logic Programming*[Online]

**3**:95-124. Available at: http://dx.doi.org/10.1017/S1471068402001485.

*Theory and Practice of Logic Programming*[Online]

**2**:517-547. Available at: http://dx.doi.org/10.1017/S1471068402001436.

*Theory and Practice of Logic Programming*[Online]

**1**:447-486. Available at: http://dx.doi.org/10.1017/S1471068401001107.

*Journal of Logic Programming*[Online]

**46**:139-155. Available at: http://dx.doi.org/10.1016/S0743-1066(00)00009-1.

*Journal of Logic Programming*[Online]

**45**:143-156. Available at: http://dx.doi.org/10.1016/S0743-1066(00)00006-6.

*Information Processing Letters*[Online]

**75**:17-23. Available at: http://dx.doi.org/10.1016/S0020-0190(00)00081-8.

*Journal of Functional and Logic Programming*[Online]

**1999**:1-23. Available at: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/S99-01/S99-01.html.

*Computational Logic Newsletter*

**4**:100-101.

*Journal of Programming Languages*[Online]

**5**:135-171. Available at: http://www.informatik.uni-trier.de/~ley/db/journals/jpl/jpl5.html.

*Journal of Programming Languages*

**2**:149-191.

*International Conference on Tools and Algorithms for the Construction and Analysis of Systems*. Springer, pp. 79-96. Available at: https://doi.org/10.1007/978-3-030-45190-5_5.

*International Static Analysis Symposium*. Springer, pp. 187-204. Available at: https://doi.org/10.1007/978-3-319-99725-4_13.

*Static Analysis 25th International Symposium*. Springer. Available at: https://doi.org/10.1007/978-3-319-99725-4_13.

*15th Asian Symposium on Programming Languages and Systems*. Springer, pp. 471-490. Available at: http://dx.doi.org/10.1007/978-3-319-71237-6_23.

*International Symposium on Principles and Practice of Declarative Programming*. Namur, Belgium: ACM, pp. 85-96. Available at: https://doi.org/10.1145/3131851.3131861.

*Symposium on Principles of Programming Languages*. St. Petersburg, Florida, USA: ACM Press, pp. 191-203. Available at: http://dx.doi.org/10.1145/2837614.2837633.

*Twenty Fourth International Symposium on Logic-Based Program Synthesis and Transformation*. Springer, pp. 133-147. Available at: http://dx.doi.org/10.1007/978-3-319-17822-6_8.

*Graph-Based Representations in Pattern Recognition*. Springer, pp. 98-107. Available at: http://dx.doi.org/10.1007/978-3-319-18224-7.

*Twelfth Asian Symposium on Programming Languages and Systems*. Springer, pp. 296-313. Available at: http://dx.doi.org/10.1007/978-3-319-12736-1_16.

*Functional and Logic Programming*. Springer Verlag, pp. 270-284.

*Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop*. New York, USA: ACM. Available at: http://dx.doi.org/10.1145/2430553.2430557.

*Principles and Practice of Declarative Programming*. New York: ACM Press, pp. 37-48. Available at: http://dx.doi.org/10.1145/2505879.2505886.

*Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming*. New York, USA: ACM, pp. 193-204. Available at: http://dx.doi.org/10.1145/2505879.2505901.

*Static Analysis Symposium*. Springer, pp. 214-230. Available at: http://www.cs.kent.ac.uk/pubs/2012/3230.

*Static Analysis Symposium*. Springer, pp. 41-57. Available at: http://www.cs.kent.ac.uk/pubs/2012/3223.

*Functional and Logic Programming*. Springer, pp. 182-196. Available at: http://dx.doi.org/10.1007/978-3-642-29822-6_16.

*NASA Formal Methods*. Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3084.

*European Symposium on Programming*. Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3072.

*Computer Aided Verification*. Springer, pp. 191-207. Available at: http://dx.doi.org/10.1007/978-3-642-22110-1_17.

*Static Analysis Symposium*. Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/3015.

*Functional and Logic Programming*. Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/2970.

*Verification, Model Checking, and Abstract Interpretation*. Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/2966.

*Formal Methods for Industrial Critical Systems*. Springer, pp. 82-98. Available at: http://dx.doi.org/10.1007/978-3-642-15898-8_6.

*Automated Technology for Verification and Analysis*. Springer, pp. 306-320. Available at: http://dx.doi.org/10.1007/978-3-642-04761-9_23.

*Algorithmic Aspects in Information and Management,*. Springer, pp. 85-99. Available at: http://dx.doi.org/10.1007/978-3-642-02158-9_9.

*Computer-Aided Verification*. Springer, pp. 281-293. Available at: http://dx.doi.org/10.1007/978-3-540-70545-1_26.

*Static Analysis Symposium 14th International Symposium*. Berlin, Germany: Springer, pp. 182-196. Available at: http://dx.doi.org/10.1007/978-3-540-74061-2_8.

*Asian Symposium on Programming Languages and Systems*. Springer, pp. 166-182. Available at: http://dx.doi.org/10.1007/11924661_11.

*ASP-DAC ’06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference*. IEEE, pp. 243-248. Available at: http://dx.doi.org/10.1145/1118299.1118364.

*Logic Programming*. Springer, pp. 132-147. Available at: http://dx.doi.org/10.1007/11799573_12.

*Logic Programming*. Springer, pp. 148-162. Available at: http://dx.doi.org/10.1007/11799573_13.

*Functional and Logic Programming*. Springer, pp. 177-191. Available at: http://dx.doi.org/10.1007/11737414_13.

*Tools and Algorithms for the Construction and Analysis of Systems*. Springer, pp. 105-119. Available at: http://dx.doi.org/10.1007/11691372_7.

*Static Analysis Symposium*. Springer, pp. 336-351. Available at: http://dx.doi.org/10.1007/11547662_23.

*European Symposium on Programming*. Springer, pp. 108-123. Available at: http://dx.doi.org/10.1007/978-3-540-31987-0_9.

*Program Development in Computational Logic*. Springer, pp. 152-188. Available at: http://dx.doi.org/10.1007/978-3-540-25951-0_6.

*Program Development in Computational Logic,*. Springer, pp. 432-452. Available at: http://dx.doi.org/10.1007/978-3-540-25951-0_13.

*Functional and Logic Programming*. Springer, pp. 132-146. Available at: http://dx.doi.org/10.1007/978-3-540-24754-8_11.

*Logic Programming*. Springer, pp. 315-330. Available at: http://dx.doi.org/10.1007/978-3-540-24599-5_22.

*European Symposium on Programming*. Springer, pp. 84-98. Available at: http://dx.doi.org/10.1007/3-540-36575-3_7.

*Static Analysis 9th International Symposium*. Berlin, Germany: Springer, pp. 85-101. Available at: http://dx.doi.org/10.1007/3-540-45789-5_9.

*International Conference on Algebraic Methodology and Software Technology*. Springer, pp. 365-379. Available at: http://dx.doi.org/10.1007/3-540-45719-4_25.

*Logic Based Program Synthesis and Transformation 12th International Workshop*. Berlin, Germany: Springer, pp. 71-89. Available at: http://dx.doi.org/10.1007/3-540-45013-0_7.

*International Conference on Logic Programming*. London: Springer-Verlag, pp. 120-134. Available at: http://dx.doi.org/10.1007/3-540-45635-X_16.

*Programming Languages and Systems*. Springer, pp. 150-164. Available at: http://dx.doi.org/10.1007/3-540-46425-5_10.

*European Symposium on Programming*. Springer, pp. 200-214. Available at: http://dx.doi.org/10.1007/3-540-46425-5_13.

*Lecture Notes In Computer Science*. Springer-Verlag, pp. 118-135.

*Logic-Based Program Synthesis and Transformation 9th International Workshop*. Berlin, Germany: Springer, pp. 82-101. Available at: http://dx.doi.org/10.1007/10720327_6.

*Programming Languages and Systems*. Springer, pp. 59-73. Available at: http://dx.doi.org/10.1007/3-540-49099-X_5.

*Proceedings of the 1998 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.

*Logic Program Synthesis and Transformation*. Springer-Verlag, pp. 148-167. Available at: http://dx.doi.org/10.1007/3-540-49674-2_8.

*International Symposium on Programming Languages: Implementations, Logics and Programs*. Springer-Verlag, see also http://www.springer.de/comp/lncs/index.html, pp. 182-196.

*Logic Programming, Synthesis and Transformation*. Springer, pp. 182-196.

*Proceedings of the 1996 International Symposium*. Cambridge, Massachusetts, USA: MIT Press, pp. 261-276. Available at: https://dl.acm.org/citation.cfm?id=271338.271391.

*Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development*. Springer Verlag, pp. 173-184.

*Logic Logic Program Synthesis and Transformation 6th International Workshop*. Berlin, Germany: Springer, pp. 204-223. Available at: http://dx.doi.org/10.1007/3-540-62718-9_12.

*Logic Program Synthesis and Transformation*. Springer-Verlag, pp. 224-238. Available at: http://dx.doi.org/10.1007/3-540-62718-9_13.

*Symposium on Artificial Intelligence in Real-Time Control*. Pergamon, pp. 299-306.

*Programming Languages and Systems — ESOP ’94 5th European Symposium on Programming*. Berlin, Germany: Springer, pp. 363-378. Available at: http://dx.doi.org/10.1007/3-540-57880-3_24.

*Proceedings of the Eleventh International Conference on Logic Programming*. Cambridge, Massachusetts, USA: MIT Press, pp. 553-568. Available at: https://dl.acm.org/citation.cfm?id=189935.

*Implementations of Logic Programming Systems*. Dordrecht: Kluwer Academic Publishers, pp. 137-149.

*Joint International Conference and Symposium for Logic Programming*. USA: MIT Press, pp. 478-492.

*Algebraic and Logic Programming*. Springer, pp. 322-334.

*Logical Foundations of Computer Science*. Springer, pp. 221-228. Available at: http://dx.doi.org/10.1007/BFb0023876.

*Formal Methods for Industrial Critical Systems*. Springer, pp. 93-107. Available at: http://dx.doi.org/10.1007/978-3-642-32469-7_7.

*Processing Declarative Knowledge*. Springer-Verlag, pp. 279-286.

*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/.

*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.

*Twenty Third International Conference on Computer Aided Verification*. Springer-Verlag, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2011/3094.

*27th International Conference on Logic Programming*. University of Kent, School of Computing.

*Proceedings on Logic-Based Methods in Programming Envrionments*. Udine: CoRR, pp. 1-7.

*Solvers for Type Recovery and Decompilation of Binaries*.

*International Symposium on Functional and Logic Programming*. [Online]. Vol. 9613. Kiselyov, O. and King, A. eds. Switzerland: Springer International Publishing. Available at: https://doi.org/10.1007/978-3-319-29604-3.

*PPDP ’14: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming*. [Online]. Chitil, O., King, A. and Olivier, D. eds. ACM. Available at: http://dl.acm.org/citation.cfm?id=2643135.

*PPDP ’12 Proceedings of the 14th Symposium on Principles and Practice of Declarative Programming*. De Schreye, D., Janssens, G. and King, A. eds. New York, USA: ACM.

*Logic-Based Program Synthesis and Transformation*. King, A. ed. Springer-Verlag.

*Proof Appendix to Accompany the Paper, "From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes"*. University of Kent.

*Determinacy Inference for Prolog (appendix for Conference Submission)*. [Online]. Canterbury, CT1 7NF, UK: University of Kent, School of Computing. Available at: http://www.cs.kent.ac.uk/pubs/2011/3107.

*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.

*Correctness of Closure Collapsing (appendix to Conference Submission)*. [Online]. Vol. 4079/2. University of Kent, Canterbury, CT2 7NF: University of Kent, School of Computing. Available at: http://dx.doi.org/10.1007/11799573_13.

*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.

_{n}

^{xi,xj}where the index n?[1,6] indicates that a specific co-factor equivalence property holds between the variables x

_{i}and x

_{j}. The other six symmetries are denoted neg T

_{n}

^{xi,xj}, and indicate that one co-factor is equivalent to the negation of the other. The relationships that are specified take the form, if T

_{p}

^{xi,xj}and T

_{q}

^{xj,xk}hold then T

_{r}

^{xi,xj}holds where T

_{p},T

_{q}and T

_{r}denote one of these twelve symmetry types.

*Forward Versus Backward Verification of Logic Programs (appendix for Conference Submission)*. [Online]. University of Kent: University of Kent, School of Computing. Available at: http://www.cs.kent.ac.uk/pubs/2003/1618.

*Correctness of Set-Sharing With Linearity*. Canterbury: University of Kent, School of Computing.

*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.

*Widening BDDs*. University of Kent, School of Computing.

*Abstracting Builtins for Groundness Analysis*. Computing Laboratory: University of Kent, School of Computing.

*A Semantic Basis for Specialising Domain Constraints*. Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK: University of Kent, School of Computing.

*An Isomorphism Between Abstract Polyhedral Cones and Definite Boolean Functions*. University of Kent: University of Kent, School of Computing.

*Using Probability to Reason about Soft Deadlines*. University of Kent, School of Computing.

*Abstract Matching Can Improve on Abstract Unification*. University of Kent, Canterbury, UK: University of Kent, School of Computing.

*Share X Free Revisited*. University of Kent, Canterbury, UK: University of Kent, School of Computing.

*The 23rd International Conference on Theory and Applications of Satisfiability Testing*. Springer.