Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andy King
@inproceedings{DBLP:conf/tacas/BocchiKM24,
author = {Laura Bocchi and
Andy King and
Maurizio Murgia},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Asynchronous Subtyping by Trace Relaxation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {207--226},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_12},
doi = {10.1007/978-3-031-57246-3\_12},
timestamp = {Sun, 14 Apr 2024 18:32:16 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BocchiKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-11197,
author = {Jonah Pears and
Laura Bocchi and
Maurizio Murgia and
Andy King},
title = {Introducing {TOAST:} Safe Asynchronous Mixed-Choice For Timed Interactions},
journal = {CoRR},
volume = {abs/2401.11197},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.11197},
doi = {10.48550/ARXIV.2401.11197},
eprinttype = {arXiv},
eprint = {2401.11197},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11197.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/PearsBK23,
author = {Jonah Pears and
Laura Bocchi and
Andy King},
editor = {Sung{-}Shik Jongmans and
Ant{\'{o}}nia Lopes},
title = {Safe Asynchronous Mixed-Choice for Timed Interactions},
booktitle = {Coordination Models and Languages - 25th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2023, Held as Part of the 18th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2023, Lisbon, Portugal, June 19-23, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13908},
pages = {214--231},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35361-1\_12},
doi = {10.1007/978-3-031-35361-1\_12},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/PearsBK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SeedCKE23,
author = {Thomas Seed and
Chris Coppins and
Andy King and
Neil Evans},
editor = {Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales},
title = {Polynomial Analysis of Modular Arithmetic},
booktitle = {Static Analysis - 30th International Symposium, {SAS} 2023, Cascais,
Portugal, October 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14284},
pages = {508--539},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44245-2\_22},
doi = {10.1007/978-3-031-44245-2\_22},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/SeedCKE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-12688,
author = {Jonah Pears and
Laura Bocchi and
Andy King},
title = {Safe asynchronous mixed-choice for timed interactions},
journal = {CoRR},
volume = {abs/2307.12688},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.12688},
doi = {10.48550/ARXIV.2307.12688},
eprinttype = {arXiv},
eprint = {2307.12688},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-12688.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RobbinsKH21,
author = {Ed Robbins and
Andy King and
Jacob M. Howe},
title = {Backjumping is Exception Handling},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {2},
pages = {125--144},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000435},
doi = {10.1017/S1471068420000435},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/RobbinsKH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SeedKE20,
author = {Thomas Seed and
Andy King and
Neil Evans},
editor = {Luca Pulina and
Martina Seidl},
title = {Reducing Bit-Vector Polynomials to {SAT} Using Gr{\"{o}}bner
Bases},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd
International Conference, Alghero, Italy, July 3-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12178},
pages = {361--377},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51825-7\_26},
doi = {10.1007/978-3-030-51825-7\_26},
timestamp = {Thu, 02 Jul 2020 18:38:34 +0200},
biburl = {https://dblp.org/rec/conf/sat/SeedKE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/OkudonoK20,
author = {Takamasa Okudono and
Andy King},
editor = {Armin Biere and
David Parker},
title = {Mind the Gap: Bit-vector Interpolation recast over Linear Integer
Arithmetic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {79--96},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5\_5},
doi = {10.1007/978-3-030-45190-5\_5},
timestamp = {Fri, 14 May 2021 08:34:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/OkudonoK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-04720,
author = {Edward Robbins and
Andy King and
Jacob M. Howe},
title = {Backjumping is Exception Handling},
journal = {CoRR},
volume = {abs/2008.04720},
year = {2020},
url = {https://arxiv.org/abs/2008.04720},
eprinttype = {arXiv},
eprint = {2008.04720},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-04720.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChawdharyRK19,
author = {Aziem Chawdhary and
Edward Robbins and
Andy King},
title = {Incrementally closing octagons},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {2},
pages = {232--277},
year = {2019},
url = {https://doi.org/10.1007/s10703-017-0314-7},
doi = {10.1007/S10703-017-0314-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/ChawdharyRK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HoweKS19,
author = {Jacob M. Howe and
Andy King and
Axel Simon},
title = {Incremental Closure for Systems of Two Variables Per Inequality},
journal = {Theor. Comput. Sci.},
volume = {768},
pages = {1--42},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.12.001},
doi = {10.1016/J.TCS.2018.12.001},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HoweKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KiselyovK18,
author = {Oleg Kiselyov and
Andy King},
title = {Preface: Functional and Logic Programming {(FLOPS} 2016)},
journal = {Sci. Comput. Program.},
volume = {164},
pages = {1--2},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2018.03.005},
doi = {10.1016/J.SCICO.2018.03.005},
timestamp = {Tue, 18 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/KiselyovK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChawdharyK18,
author = {Aziem Chawdhary and
Andy King},
editor = {Andreas Podelski},
title = {Closing the Performance Gap Between Doubles and Rationals for Octagons},
booktitle = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
Germany, August 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11002},
pages = {187--204},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99725-4\_13},
doi = {10.1007/978-3-319-99725-4\_13},
timestamp = {Mon, 28 Aug 2023 21:17:53 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChawdharyK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ChawdharySK17,
author = {Aziem Chawdhary and
Ranjeet Singh and
Andy King},
title = {Partial evaluation of string obfuscations for Java malware detection},
journal = {Formal Aspects Comput.},
volume = {29},
number = {1},
pages = {33--55},
year = {2017},
url = {https://doi.org/10.1007/s00165-016-0357-3},
doi = {10.1007/S00165-016-0357-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ChawdharySK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/prl/JonesCK17,
author = {William Jones and
Aziem Chawdhary and
Andy King},
title = {Optimising the Volgenant-Jonker algorithm for approximating graph
edit distance},
journal = {Pattern Recognit. Lett.},
volume = {87},
pages = {47--54},
year = {2017},
url = {https://doi.org/10.1016/j.patrec.2016.07.024},
doi = {10.1016/J.PATREC.2016.07.024},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/prl/JonesCK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ChawdharyK17,
author = {Aziem Chawdhary and
Andy King},
editor = {Bor{-}Yuh Evan Chang},
title = {Compact Difference Bound Matrices},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {471--490},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_23},
doi = {10.1007/978-3-319-71237-6\_23},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ChawdharyK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HoweRK17,
author = {Jacob M. Howe and
Edward Robbins and
Andy King},
editor = {Wim Vanhoof and
Brigitte Pientka},
title = {Theory learning with symmetry breaking},
booktitle = {Proceedings of the 19th International Symposium on Principles and
Practice of Declarative Programming, Namur, Belgium, October 09 -
11, 2017},
pages = {85--96},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3131851.3131861},
doi = {10.1145/3131851.3131861},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/HoweRK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CarroK16,
author = {Manuel Carro and
Andy King},
title = {Introduction to the 32nd International Conference on Logic Programming
Special Issue},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {509--514},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000491},
doi = {10.1017/S1471068416000491},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CarroK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RobbinsKS16,
author = {Edward Robbins and
Andy King and
Tom Schrijvers},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {From MinX to MinC: semantics-driven decompilation of recursive datatypes},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {191--203},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837633},
doi = {10.1145/2837614.2837633},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/RobbinsKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2016,
editor = {Oleg Kiselyov and
Andy King},
title = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3},
doi = {10.1007/978-3-319-29604-3},
isbn = {978-3-319-29603-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2016,
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {Technical Communications of the 32nd International Conference on Logic
Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
{USA}},
series = {OASIcs},
volume = {52},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-007-1},
isbn = {978-3-95977-007-1},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CarroK16,
author = {Manuel Carro and
Andy King},
title = {Papers presented at the 32nd International Conference on Logic Programming
{(ICLP} 2016)},
journal = {CoRR},
volume = {abs/1608.05440},
year = {2016},
url = {http://arxiv.org/abs/1608.05440},
eprinttype = {arXiv},
eprint = {1608.05440},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CarroK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChawdharyRK16,
author = {Aziem Chawdhary and
Edward Robbins and
Andy King},
title = {Incrementally Closing Octagons},
journal = {CoRR},
volume = {abs/1610.02952},
year = {2016},
url = {http://arxiv.org/abs/1610.02952},
eprinttype = {arXiv},
eprint = {1610.02952},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChawdharyRK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RobbinsHK15,
author = {Edward Robbins and
Jacob M. Howe and
Andy King},
title = {Theory propagation and reification},
journal = {Sci. Comput. Program.},
volume = {111},
pages = {3--22},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.05.013},
doi = {10.1016/J.SCICO.2014.05.013},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/RobbinsHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gbrpr/JonesCK15,
author = {William Jones and
Aziem Chawdhary and
Andy King},
editor = {Cheng{-}Lin Liu and
Bin Luo and
Walter G. Kropatsch and
Jian Cheng},
title = {Revisiting Volgenant-Jonker for Approximating Graph Edit Distance},
booktitle = {Graph-Based Representations in Pattern Recognition - 10th {IAPR-TC-15}
International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9069},
pages = {98--107},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18224-7\_10},
doi = {10.1007/978-3-319-18224-7\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/gbrpr/JonesCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/King14,
author = {Andy King},
title = {Preface for {SCP} special issue on Principles and Practice of Declarative
Programming},
journal = {Sci. Comput. Program.},
volume = {84},
pages = {1--2},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.08.001},
doi = {10.1016/J.SCICO.2013.08.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/King14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ChawdharyRK14,
author = {Aziem Chawdhary and
Edward Robbins and
Andy King},
editor = {Jacques Garrigue},
title = {Simple and Efficient Algorithms for Octagons},
booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8858},
pages = {296--313},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12736-1\_16},
doi = {10.1007/978-3-319-12736-1\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ChawdharyRK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KrienerK14,
author = {Jael Kriener and
Andy King},
editor = {Michael Codish and
Eijiro Sumii},
title = {Semantics for Prolog with Cut - Revisited},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {270--284},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_17},
doi = {10.1007/978-3-319-07151-0\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/KrienerK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SinghK14,
author = {Ranjeet Singh and
Andy King},
editor = {Maurizio Proietti and
Hirohisa Seki},
title = {Partial Evaluation for Java Malware Detection},
booktitle = {Logic-Based Program Synthesis and Transformation - 24th International
Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8981},
pages = {133--147},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17822-6\_8},
doi = {10.1007/978-3-319-17822-6\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SinghK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2014,
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2643135},
isbn = {978-1-4503-2947-7},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BrauerKK13,
author = {J{\"{o}}rg Brauer and
Andy King and
Stefan Kowalewski},
title = {Abstract interpretation of microcontroller code: Intervals meet congruences},
journal = {Sci. Comput. Program.},
volume = {78},
number = {7},
pages = {862--883},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.06.001},
doi = {10.1016/J.SCICO.2012.06.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BrauerKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BourquinKR13,
author = {Martial Bourquin and
Andy King and
Edward Robbins},
editor = {Jeffrey Todd McDonald and
Mila Dalla Preda},
title = {BinSlayer: accurate comparison of binary executables},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} Program Protection and Reverse
Engineering Workshop 2013, PPREW@POPL 2013, January 26, 2013, Rome,
Italy},
pages = {4:1--4:10},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2430553.2430557},
doi = {10.1145/2430553.2430557},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BourquinKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/KrienerKB13,
author = {Jael Kriener and
Andy King and
Sandrine Blazy},
editor = {Ricardo Pe{\~{n}}a and
Tom Schrijvers},
title = {Proofs you can believe in: proving equivalences between Prolog semantics
in Coq},
booktitle = {15th International Symposium on Principles and Practice of Declarative
Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
pages = {37--48},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505879.2505886},
doi = {10.1145/2505879.2505886},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/KrienerKB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/RobbinsHK13,
author = {Edward Robbins and
Jacob M. Howe and
Andy King},
editor = {Ricardo Pe{\~{n}}a and
Tom Schrijvers},
title = {Theory propagation and rational-trees},
booktitle = {15th International Symposium on Principles and Practice of Declarative
Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
pages = {193--204},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505879.2505901},
doi = {10.1145/2505879.2505901},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/RobbinsHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-4286,
author = {J{\"{o}}rg Brauer and
Andy King},
title = {Transfer Function Synthesis without Quantifier Elimination},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {3},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(3:17)2012},
doi = {10.2168/LMCS-8(3:17)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-4286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HoweK12,
author = {Jacob M. Howe and
Andy King},
title = {A pearl on {SAT} and {SMT} solving in Prolog},
journal = {Theor. Comput. Sci.},
volume = {435},
pages = {43--55},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.02.024},
doi = {10.1016/J.TCS.2012.02.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HoweK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/KrienerK12,
author = {Jael Kriener and
Andy King},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Mutual Exclusion by Interpolation},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {182--196},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_16},
doi = {10.1007/978-3-642-29822-6\_16},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/flops/KrienerK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BarrettK12,
author = {Edd Barrett and
Andy King},
editor = {Mari{\"{e}}lle Stoelinga and
Ralf Pinger},
title = {Range Analysis of Binaries with Minimal Effort},
booktitle = {Formal Methods for Industrial Critical Systems - 17th International
Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7437},
pages = {93--107},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32469-7\_7},
doi = {10.1007/978-3-642-32469-7\_7},
timestamp = {Fri, 09 Apr 2021 18:51:27 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BarrettK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HoweK12,
author = {Jacob M. Howe and
Andy King},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Polyhedral Analysis Using Parametric Objectives},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {41--57},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_6},
doi = {10.1007/978-3-642-33125-1\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/HoweK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BiallasBKK12,
author = {Sebastian Biallas and
J{\"{o}}rg Brauer and
Andy King and
Stefan Kowalewski},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Loop Leaping with Closures},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {214--230},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_16},
doi = {10.1007/978-3-642-33125-1\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BiallasBKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2012,
editor = {Danny De Schreye and
Gerda Janssens and
Andy King},
title = {Principles and Practice of Declarative Programming, PPDP'12, Leuven,
Belgium - September 19 - 21, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2370776},
isbn = {978-1-4503-1522-7},
timestamp = {Sun, 11 Nov 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/KingMRS12,
author = {Andy King and
Alan Mycroft and
Thomas W. Reps and
Axel Simon},
title = {Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar
12051)},
journal = {Dagstuhl Reports},
volume = {2},
number = {1},
pages = {100--116},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.1.100},
doi = {10.4230/DAGREP.2.1.100},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/KingMRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KrienerK11,
author = {Jael Kriener and
Andy King},
title = {RedAlert: Determinacy inference for Prolog},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {537--553},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000160},
doi = {10.1017/S1471068411000160},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KrienerK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrauerKK11,
author = {J{\"{o}}rg Brauer and
Andy King and
Jael Kriener},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Existential Quantification as Incremental {SAT}},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {191--207},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_17},
doi = {10.1007/978-3-642-22110-1\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BrauerKK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BrauerK11,
author = {J{\"{o}}rg Brauer and
Andy King},
editor = {Gilles Barthe},
title = {Transfer Function Synthesis without Quantifier Elimination},
booktitle = {Programming Languages and Systems - 20th European Symposium on Programming,
{ESOP} 2011, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany,
March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6602},
pages = {97--115},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19718-5\_6},
doi = {10.1007/978-3-642-19718-5\_6},
timestamp = {Sat, 19 Oct 2019 20:28:04 +0200},
biburl = {https://dblp.org/rec/conf/esop/BrauerK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BrauerK11,
author = {J{\"{o}}rg Brauer and
Andy King},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Approximate Quantifier Elimination for Propositional Boolean Formulae},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {73--88},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_7},
doi = {10.1007/978-3-642-20398-5\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BrauerK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-2548,
author = {Jael Kriener and
Andy King},
title = {RedAlert: Determinacy Inference for Prolog},
journal = {CoRR},
volume = {abs/1109.2548},
year = {2011},
url = {http://arxiv.org/abs/1109.2548},
eprinttype = {arXiv},
eprint = {1109.2548},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-2548.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/SimonK10,
author = {Axel Simon and
Andy King},
title = {The two variable per inequality abstract domain},
journal = {High. Order Symb. Comput.},
volume = {23},
number = {1},
pages = {87--143},
year = {2010},
url = {https://doi.org/10.1007/s10990-010-9062-8},
doi = {10.1007/S10990-010-9062-8},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/SimonK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HoweK10,
author = {Jacob M. Howe and
Andy King},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {A Pearl on {SAT} Solving in Prolog},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {165--174},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_13},
doi = {10.1007/978-3-642-12251-4\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/HoweK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BrauerKK10,
author = {J{\"{o}}rg Brauer and
Andy King and
Stefan Kowalewski},
editor = {Stefan Kowalewski and
Marco Roveri},
title = {Range Analysis of Microcontroller Code Using Bit-Level Congruences},
booktitle = {Formal Methods for Industrial Critical Systems - 15th International
Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6371},
pages = {82--98},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15898-8\_6},
doi = {10.1007/978-3-642-15898-8\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BrauerKK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BrauerK10,
author = {J{\"{o}}rg Brauer and
Andy King},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Automatic Abstraction for Intervals Using Boolean Formulae},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {167--183},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_11},
doi = {10.1007/978-3-642-15769-1\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BrauerK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KingS10,
author = {Andy King and
Harald S{\o}ndergaard},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Automatic Abstraction for Congruences},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {197--213},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_16},
doi = {10.1007/978-3-642-11319-2\_16},
timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KingS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarrettK10,
author = {Edd Barrett and
Andy King},
editor = {Antoine Min{\'{e}} and
Enric Rodr{\'{\i}}guez{-}Carbonell},
title = {Range and Set Abstraction using {SAT}},
booktitle = {Proceeding of the Second International Workshop on Numerical and Symbolic
Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {267},
number = {1},
pages = {17--27},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.09.003},
doi = {10.1016/J.ENTCS.2010.09.003},
timestamp = {Fri, 10 Mar 2023 11:11:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarrettK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HoweKL10,
author = {Jacob M. Howe and
Andy King and
Charles Lawrence{-}Jones},
editor = {Antoine Min{\'{e}} and
Enric Rodr{\'{\i}}guez{-}Carbonell},
title = {Quadtrees as an Abstract Domain},
booktitle = {Proceeding of the Second International Workshop on Numerical and Symbolic
Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {267},
number = {1},
pages = {89--100},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.09.008},
doi = {10.1016/J.ENTCS.2010.09.008},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HoweKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaim/CharlesHK09,
author = {Philip J. Charles and
Jacob M. Howe and
Andy King},
editor = {Andrew V. Goldberg and
Yunhong Zhou},
title = {Integer Polyhedra for Program Analysis},
booktitle = {Algorithmic Aspects in Information and Management, 5th International
Conference, {AAIM} 2009, San Francisco, CA, USA, June 15-17, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5564},
pages = {85--99},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02158-9\_9},
doi = {10.1007/978-3-642-02158-9\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aaim/CharlesHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HoweK09,
author = {Jacob M. Howe and
Andy King},
editor = {Zhiming Liu and
Anders P. Ravn},
title = {Logahedra: {A} New Weakly Relational Domain},
booktitle = {Automated Technology for Verification and Analysis, 7th International
Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5799},
pages = {306--320},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04761-9\_23},
doi = {10.1007/978-3-642-04761-9\_23},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/HoweK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/King09,
author = {Andy King},
editor = {Patricia M. Hill and
David Scott Warren},
title = {Untangling Reverse Engineering with Logic and Abstraction},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {37},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_6},
doi = {10.1007/978-3-642-02846-5\_6},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/King09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-2353,
author = {Andy King},
title = {Relations, Constraints and Abstractions: Using the Tools of Logic
Programming in the Security Industry},
journal = {CoRR},
volume = {abs/0903.2353},
year = {2009},
url = {http://arxiv.org/abs/0903.2353},
eprinttype = {arXiv},
eprint = {0903.2353},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-2353.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/KettleK08,
author = {Neil Kettle and
Andy King},
title = {An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {27},
number = {4},
pages = {764--777},
year = {2008},
url = {https://doi.org/10.1109/TCAD.2008.917592},
doi = {10.1109/TCAD.2008.917592},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/KettleK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GenaimK08,
author = {Samir Genaim and
Andy King},
title = {Inferring non-suspension conditions for logic programs with dynamic
scheduling},
journal = {{ACM} Trans. Comput. Log.},
volume = {9},
number = {3},
pages = {17:1--17:43},
year = {2008},
url = {https://doi.org/10.1145/1352582.1352585},
doi = {10.1145/1352582.1352585},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GenaimK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KingS08,
author = {Andy King and
Harald S{\o}ndergaard},
editor = {Aarti Gupta and
Sharad Malik},
title = {Inferring Congruence Equations Using {SAT}},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {281--293},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_26},
doi = {10.1007/978-3-540-70545-1\_26},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/KingS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2007,
editor = {Andy King},
title = {Logic-Based Program Synthesis and Transformation, 17th International
Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4915},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78769-3},
doi = {10.1007/978-3-540-78769-3},
isbn = {978-3-540-78768-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SimonK07,
author = {Axel Simon and
Andy King},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {Taming the Wrapping of Integer Arithmetic},
booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
Lyngby, Denmark, August 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4634},
pages = {121--136},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_8},
doi = {10.1007/978-3-540-74061-2\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/SimonK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KingM06,
author = {Andy King and
Jonathan C. Martin},
title = {Control Generation by Program Transformation},
journal = {Fundam. Informaticae},
volume = {69},
number = {1-2},
pages = {179--218},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-07},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KingM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyFGKMT06,
author = {Olivier Danvy and
Andrzej Filinski and
Jean{-}Louis Giavitto and
Andy King and
Pierre{-}Etienne Moreau and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {19},
number = {4},
pages = {343--344},
year = {2006},
url = {https://doi.org/10.1007/s10990-006-0478-0},
doi = {10.1007/S10990-006-0478-0},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyFGKMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SimonK06,
author = {Axel Simon and
Andy King},
editor = {Naoki Kobayashi},
title = {Widening Polyhedra with Landmarks},
booktitle = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
Sydney, Australia, November 8-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4279},
pages = {166--182},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11924661\_11},
doi = {10.1007/11924661\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/SimonK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/KettleK06,
author = {Neil Kettle and
Andy King},
editor = {Fumiyasu Hirose},
title = {An anytime symmetry detection algorithm for ROBDDs},
booktitle = {Proceedings of the 2006 Conference on Asia South Pacific Design Automation:
{ASP-DAC} 2006, Yokohama, Japan, January 24-27, 2006},
pages = {243--248},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ASPDAC.2006.1594689},
doi = {10.1109/ASPDAC.2006.1594689},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/KettleK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/LiKL06,
author = {Xuan Li and
Andy King and
Lunjin Lu},
editor = {Masami Hagiya and
Philip Wadler},
title = {Lazy Set-Sharing Analysis},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {177--191},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_13},
doi = {10.1007/11737414\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/LiKL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KingLG06,
author = {Andy King and
Lunjin Lu and
Samir Genaim},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Detecting Determinacy in Prolog Programs},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {132--147},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_12},
doi = {10.1007/11799573\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KingLG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LiKL06,
author = {Xuan Li and
Andy King and
Lunjin Lu},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Collapsing Closures},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {148--162},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_13},
doi = {10.1007/11799573\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LiKL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KettleKS06,
author = {Neil Kettle and
Andy King and
Tadeusz Strzemecki},
editor = {Holger Hermanns and
Jens Palsberg},
title = {Widening ROBDDs with Prime Implicants},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
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},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {105--119},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_7},
doi = {10.1007/11691372\_7},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KettleKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BenoyKM05,
author = {Florence Benoy and
Andy King and
Fr{\'{e}}d{\'{e}}ric Mesnard},
title = {Computing convex hulls with a linear solver},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {1-2},
pages = {259--271},
year = {2005},
url = {https://doi.org/10.1017/S1471068404002261},
doi = {10.1017/S1471068404002261},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BenoyKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LuK05,
author = {Lunjin Lu and
Andy King},
editor = {Shmuel Sagiv},
title = {Determinacy Inference for Logic Programs},
booktitle = {Programming Languages and Systems, 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},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {108--123},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_9},
doi = {10.1007/978-3-540-31987-0\_9},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/LuK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SimonK05,
author = {Axel Simon and
Andy King},
editor = {Chris Hankin and
Igor Siveroni},
title = {Exploiting Sparsity in Polyhedral Analysis},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {336--351},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_23},
doi = {10.1007/11547662\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/SimonK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/SimonK04,
author = {Axel Simon and
Andy King},
title = {Convex hull of planar h-polyhedra},
journal = {Int. J. Comput. Math.},
volume = {81},
number = {3},
pages = {259--271},
year = {2004},
url = {https://doi.org/10.1080/00207160310001650034},
doi = {10.1080/00207160310001650034},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/SimonK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/LuK04,
author = {Lunjin Lu and
Andy King},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Backward Pair Sharing Analysis},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {132--146},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_11},
doi = {10.1007/978-3-540-24754-8\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/LuK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/lopstr/HoweKL04,
author = {Jacob M. Howe and
Andy King and
Lunjin Lu},
editor = {Maurice Bruynooghe and
Kung{-}Kiu Lau},
title = {Analysing Logic Programs by Reasoning Backwards},
booktitle = {Program Development in Computational Logic: {A} Decade of Research
Advances in Logic-Based Program Development},
series = {Lecture Notes in Computer Science},
volume = {3049},
pages = {152--188},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25951-0\_6},
doi = {10.1007/978-3-540-25951-0\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/HoweKL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/lopstr/MartinK04,
author = {Jonathan C. Martin and
Andy King},
editor = {Maurice Bruynooghe and
Kung{-}Kiu Lau},
title = {On the Inference of Natural Level Mappings},
booktitle = {Program Development in Computational Logic: {A} Decade of Research
Advances in Logic-Based Program Development},
series = {Lecture Notes in Computer Science},
volume = {3049},
pages = {432--452},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25951-0\_13},
doi = {10.1007/978-3-540-25951-0\_13},
timestamp = {Thu, 23 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/MartinK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CG-0405089,
author = {Axel Simon and
Andy King},
title = {Convex Hull of Planar H-Polyhedra},
journal = {CoRR},
volume = {cs.CG/0405089},
year = {2004},
url = {http://arxiv.org/abs/cs/0405089},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CG-0405089.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HoweK03,
author = {Jacob M. Howe and
Andy King},
title = {Efficient Groundness Analysis in Prolog},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {1},
pages = {95--124},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001485},
doi = {10.1017/S1471068402001485},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HoweK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HoweK03a,
author = {Jacob M. Howe and
Andy King},
title = {Three Optimisations for Sharing},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {2},
pages = {243--257},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001497},
doi = {10.1017/S1471068402001497},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HoweK03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GenaimK03,
author = {Samir Genaim and
Andy King},
editor = {Pierpaolo Degano},
title = {Goal-Independent Suspension Analysis for Logic Programs with Dynamic
Scheduling},
booktitle = {Programming Languages and Systems, 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},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {84--98},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_7},
doi = {10.1007/3-540-36575-3\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/GenaimK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KingL03,
author = {Andy King and
Lunjin Lu},
editor = {Catuscia Palamidessi},
title = {Forward versus Backward Verification of Logic Programs},
booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {315--330},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24599-5\_22},
doi = {10.1007/978-3-540-24599-5\_22},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/KingL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0311002,
author = {Florence Benoy and
Andy King and
Fr{\'{e}}d{\'{e}}ric Mesnard},
title = {Computing Convex Hulls with a Linear Solver},
journal = {CoRR},
volume = {cs.PL/0311002},
year = {2003},
url = {http://arxiv.org/abs/cs/0311002},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0311002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KingL02,
author = {Andy King and
Lunjin Lu},
title = {A Backward Analysis for Constraint Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {4-5},
pages = {517--547},
year = {2002},
url = {https://doi.org/10.1017/S1471068402001436},
doi = {10.1017/S1471068402001436},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KingL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/SimonK02,
author = {Axel Simon and
Andy King},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Analyzing String Buffers in {C}},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {365--379},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_25},
doi = {10.1007/3-540-45719-4\_25},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/SimonK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SimonKH02,
author = {Axel Simon and
Andy King and
Jacob M. Howe},
editor = {Michael Leuschel},
title = {Two Variables per Linear Inequality as an Abstract Domain},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {71--89},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_7},
doi = {10.1007/3-540-45013-0\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SimonKH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LuK02,
author = {Lunjin Lu and
Andy King},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {Backward Type Inference Generalises Type Checking},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {85--101},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_9},
doi = {10.1007/3-540-45789-5\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/LuK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0201011,
author = {Andy King and
Lunjin Lu},
title = {A Backward Analysis for Constraint Logic Programs},
journal = {CoRR},
volume = {cs.PL/0201011},
year = {2002},
url = {https://arxiv.org/abs/cs/0201011},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0201011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0201012,
author = {Jacob M. Howe and
Andy King},
title = {Efficient Groundness Analysis in Prolog},
journal = {CoRR},
volume = {cs.PL/0201012},
year = {2002},
url = {https://arxiv.org/abs/cs/0201012},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0201012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0203022,
author = {Jacob M. Howe and
Andy King},
title = {Three Optimisations for Sharing},
journal = {CoRR},
volume = {cs.PL/0203022},
year = {2002},
url = {https://arxiv.org/abs/cs/0203022},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0203022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SmausHK01,
author = {Jan{-}Georg Smaus and
Patricia M. Hill and
Andy King},
title = {Verifying Termination and Error-Freedom of Logic Programs with \texttt{block}
Declarations},
journal = {Theory Pract. Log. Program.},
volume = {1},
number = {4},
pages = {447--486},
year = {2001},
url = {https://doi.org/10.1017/S1471068401001107},
doi = {10.1017/S1471068401001107},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SmausHK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HoweK01,
author = {Jacob M. Howe and
Andy King},
editor = {Philippe Codognet},
title = {Positive Boolean Functions as Multiheaded Clauses},
booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
Cyprus, November 26 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2237},
pages = {120--134},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45635-X\_16},
doi = {10.1007/3-540-45635-X\_16},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/HoweK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HoweK00,
author = {Jacob M. Howe and
Andy King},
title = {Abstracting numeric constraints with Boolean functions},
journal = {Inf. Process. Lett.},
volume = {75},
number = {1-2},
pages = {17--23},
year = {2000},
url = {https://doi.org/10.1016/S0020-0190(00)00081-8},
doi = {10.1016/S0020-0190(00)00081-8},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HoweK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HeatonACK00,
author = {Andy Heaton and
Muhamed Abo{-}Zaed and
Michael Codish and
Andy King},
title = {A simple polynomial groundness analysis for logic programs},
journal = {J. Log. Program.},
volume = {45},
number = {1-3},
pages = {143--156},
year = {2000},
url = {https://doi.org/10.1016/S0743-1066(00)00006-6},
doi = {10.1016/S0743-1066(00)00006-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HeatonACK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/King00,
author = {Andy King},
title = {Pair-sharing over rational trees},
journal = {J. Log. Program.},
volume = {46},
number = {1-2},
pages = {139--155},
year = {2000},
url = {https://doi.org/10.1016/S0743-1066(00)00009-1},
doi = {10.1016/S0743-1066(00)00009-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/King00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HeatonHK00,
author = {Andrew Heaton and
Patricia M. Hill and
Andy King},
editor = {Gert Smolka},
title = {Abstract Domains for Universal and Existential Properties},
booktitle = {Programming Languages and Systems, 9th European Symposium on Programming,
{ESOP} 2000, Held as Part of the European Joint Conferences on the
Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March
25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1782},
pages = {150--164},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46425-5\_10},
doi = {10.1007/3-540-46425-5\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/HeatonHK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HoweK00,
author = {Jacob M. Howe and
Andy King},
editor = {Gert Smolka},
title = {Implementing Groundness Analysis with Definite Boolean Functions},
booktitle = {Programming Languages and Systems, 9th European Symposium on Programming,
{ESOP} 2000, Held as Part of the European Joint Conferences on the
Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March
25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1782},
pages = {200--214},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46425-5\_13},
doi = {10.1007/3-540-46425-5\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/HoweK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0006033,
author = {Jan{-}Georg Smaus and
Patricia M. Hill and
Andy King},
title = {Verifying Termination and Error-Freedom of Logic Programs with block
Declarations},
journal = {CoRR},
volume = {cs.LO/0006033},
year = {2000},
url = {https://arxiv.org/abs/cs/0006033},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0006033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/ShenCK99,
author = {Kish Shen and
V{\'{\i}}tor Santos Costa and
Andy King},
title = {Distance: {A} New Metric for Controlling Granularity for Parallel
Execution},
journal = {J. Funct. Log. Program.},
volume = {1999},
number = {Special Issue 1},
year = {1999},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/ShenCK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/HoweK99,
author = {Jacob M. Howe and
Andy King},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {Specialising Finite Domain Programs Using Polyhedra},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {258--259},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 15 Jun 2020 17:08:35 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/HoweK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KingSH99,
author = {Andy King and
Jan{-}Georg Smaus and
Patricia M. Hill},
editor = {S. Doaitse Swierstra},
title = {Quotienting \emph{Share} for Dependency Analysis},
booktitle = {Programming Languages and Systems, 8th European Symposium on Programming,
ESOP'99, Held as Part of the European Joint Conferences on the Theory
and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28
March, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1576},
pages = {59--73},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49099-X\_5},
doi = {10.1007/3-540-49099-X\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/KingSH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SmausHK99,
author = {Jan{-}Georg Smaus and
Patricia M. Hill and
Andy King},
editor = {Annalisa Bossi},
title = {Mode Analysis Domains for Typed Logic Programs},
booktitle = {Logic Programming Synthesis and Transformation, 9th International
Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1817},
pages = {82--101},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10720327\_6},
doi = {10.1007/10720327\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SmausHK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/HoweK99,
author = {Jacob M. Howe and
Andy King},
editor = {Annalisa Bossi},
title = {Specialising Fininte Domain Programs Using Polyhedra},
booktitle = {Logic Programming Synthesis and Transformation, 9th International
Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1817},
pages = {118--135},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10720327\_8},
doi = {10.1007/10720327\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/HoweK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ShenCK98,
author = {Kish Shen and
V{\'{\i}}tor Santos Costa and
Andy King},
editor = {Joxan Jaffar},
title = {Distance: {A} New Metric for Controlling Granularity for Parallel
Execution},
booktitle = {Proceedings of the 1998 Joint International Conference and Symposium
on Logic Programming, Manchester, UK, June 15-19, 1998},
pages = {85--99},
publisher = {{MIT} Press},
year = {1998},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ShenCK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SmausHK98,
author = {Jan{-}Georg Smaus and
Patricia M. Hill and
Andy King},
editor = {Pierre Flener},
title = {Preventing Instantiation Errors and Loops for Logic Programs with
Multiple Modes Using block Declarations},
booktitle = {Logic Programming Synthesis and Transformation, 8th International
Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1559},
pages = {289--307},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48958-4\_16},
doi = {10.1007/3-540-48958-4\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SmausHK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/SmausHK98,
author = {Jan{-}Georg Smaus and
Patricia M. Hill and
Andy King},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Termination of Logic Programs with block Declarations Running in Several
Modes},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {73--88},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056608},
doi = {10.1007/BFB0056608},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/SmausHK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpl/HillK97,
author = {Patricia M. Hill and
Andy King},
title = {Determinacy and determinacy analysis},
journal = {J. Program. Lang.},
volume = {5},
number = {1},
pages = {135--171},
year = {1997},
url = {http://compscinet.dcs.kcl.ac.uk/JP/jp050105.abs.html},
timestamp = {Thu, 29 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpl/HillK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SmausHK97,
author = {Jan{-}Georg Smaus and
Patricia M. Hill and
Andy King},
editor = {Lee Naish},
title = {Domain Construction for Mode Analysis of Typed Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {418},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SmausHK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/HeatonHK97,
author = {Andrew Heaton and
Patricia M. Hill and
Andy King},
editor = {Norbert E. Fuchs},
title = {Analysis of Logic Programs with Delay},
booktitle = {Logic Programming Synthesis and Transformation, 7th International
Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1463},
pages = {148--167},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49674-2\_8},
doi = {10.1007/3-540-49674-2\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/HeatonHK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/KingSB97,
author = {Andy King and
Kish Shen and
Florence Benoy},
editor = {Jan Maluszynski},
title = {Lower-bound Time-complexity Analysis of Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {261--275},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Fri, 10 Jul 2015 12:20:33 +0200},
biburl = {https://dblp.org/rec/conf/slp/KingSB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/MartinK97,
author = {Jonathan C. Martin and
Andy King},
editor = {Michel Bidoit and
Max Dauchet},
title = {Generating Efficient, Terminating Logic Programs},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {273--284},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030603},
doi = {10.1007/BFB0030603},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/MartinK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BenoyK96,
author = {Florence Benoy and
Andy King},
editor = {John P. Gallagher},
title = {Inferring Argument Size Relationships with {CLP(R)}},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {204--223},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_12},
doi = {10.1007/3-540-62718-9\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BenoyK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MartinKS96,
author = {Jonathan C. Martin and
Andy King and
Paul Soper},
editor = {John P. Gallagher},
title = {Typed Norms for Typed Logic Programs},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {224--238},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_13},
doi = {10.1007/3-540-62718-9\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MartinKS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/airtc/KempSK94,
author = {B. Kemp and
Paul Soper and
Andy King},
editor = {Alfons Crespo},
title = {Continuation Compilation for Concurrent Logic Programming},
booktitle = {Postprint Volume from the {IFAC} Symposium on Artificial Intelligence
in Real-Time Control, {AIRTC} 1994, Valencia, Spain, October 3-5,
1994},
pages = {299--305},
publisher = {Elsevier},
year = {1994},
url = {https://doi.org/10.1016/b978-0-08-042236-7.50051-1},
doi = {10.1016/B978-0-08-042236-7.50051-1},
timestamp = {Tue, 02 Jun 2020 16:41:37 +0200},
biburl = {https://dblp.org/rec/conf/airtc/KempSK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/King94,
author = {Andy King},
editor = {Donald Sannella},
title = {A Synergistic Analysis for Sharing and Groundness with Traces Linearity},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {363--378},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_24},
doi = {10.1007/3-540-57880-3\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/King94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KingS94,
author = {Andy King and
Paul Soper},
editor = {Pascal Van Hentenryck},
title = {Depth-k Sharing and Freeness},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {553--568},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KingS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/King93a,
author = {Andy King},
editor = {Giancarlo Succi and
Giancarlo Colla},
title = {A Framework for Sharing Analysis},
booktitle = {Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent,
Distributed {\&} Parallel Implementations of Logic Programming
Systems. Budapest, Hungary, June 25, 1993},
pages = {5--23},
year = {1993},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/King93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/King93,
author = {Andy King},
editor = {Evan Tick and
Giancarlo Succi},
title = {A Framework for Sharing Analysis},
booktitle = {Implementations of Logic Programming Systems: Papers from the {ICLP}
1993 Workshops: Practical Implementations and Systems Experience in
Logic Programming Systems - Concurrent, Distributed, and Parallel
Implementations of Logic Programming Systems},
pages = {137--149},
publisher = {Kluwer Academic Publishers, Boston},
year = {1993},
timestamp = {Mon, 02 Dec 2013 17:40:42 +0100},
biburl = {https://dblp.org/rec/conf/iclp/King93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/KingS92,
author = {Andy King and
Paul Soper},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Serialisation Analysis of Concurrent Logic Programs},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {322--334},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013835},
doi = {10.1007/BFB0013835},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/KingS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KingS92,
author = {Andy King and
Paul Soper},
editor = {Krzysztof R. Apt},
title = {Schedule Analysis of Concurrent Logic programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {478--492},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KingS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/KingS92,
author = {Andy King and
Paul Soper},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Ordering Optimizations for Concurrent Logic Programs},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {221--228},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023876},
doi = {10.1007/BFB0023876},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/KingS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdk/KingS91,
author = {Andy King and
Paul Soper},
editor = {Harold Boley and
Michael M. Richter},
title = {Reducing Scheduling Overheads for Concurrent Logic Programs},
booktitle = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
Germany, July 1-3, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {567},
pages = {279--286},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013537},
doi = {10.1007/BFB0013537},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/pdk/KingS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KingS90,
author = {Andy King and
Paul Soper},
editor = {Bertram Fronh{\"{o}}fer and
Graham Wrightson},
title = {Compile-Time Analysis of Concurrent Logic Programs for Multi-processors},
booktitle = {Parallelization in Inference Systems, International Workshop, Dagstuhl
Castle, Germany, December 17-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {590},
pages = {367},
publisher = {Springer},
year = {1990},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/KingS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
