BibTeX records: John P. Gallagher

download as .bib file

@article{DBLP:journals/tosem/LiCLWG23,
  author       = {Xueliang Li and
                  Junyang Chen and
                  Yepang Liu and
                  Kaishun Wu and
                  John P. Gallagher},
  title        = {Combatting Energy Issues for Mobile Applications},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {32},
  number       = {1},
  pages        = {13:1--13:44},
  year         = {2023},
  url          = {https://doi.org/10.1145/3527851},
  doi          = {10.1145/3527851},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tosem/LiCLWG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GallagherHML23,
  author       = {John P. Gallagher and
                  Manuel V. Hermenegildo and
                  Jos{\'{e}} F. Morales and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
  editor       = {Robert Gl{\"{u}}ck and
                  Bishoksan Kafle},
  title        = {Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 33rd International
                  Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14330},
  pages        = {28--38},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45784-5\_3},
  doi          = {10.1007/978-3-031-45784-5\_3},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/GallagherHML23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2023hermenegildo,
  editor       = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  John P. Gallagher and
                  Roberto Giacobazzi},
  title        = {Analysis, Verification and Transformation for Declarative Programming
                  and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo
                  on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {13160},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-31476-6},
  doi          = {10.1007/978-3-031-31476-6},
  isbn         = {978-3-031-31475-9},
  timestamp    = {Wed, 24 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2023hermenegildo.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AngelisFGHPP22,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  John P. Gallagher and
                  Manuel V. Hermenegildo and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Analysis and Transformation of Constrained Horn Clauses for Program
                  Verification},
  journal      = {Theory Pract. Log. Program.},
  volume       = {22},
  number       = {6},
  pages        = {974--1042},
  year         = {2022},
  url          = {https://doi.org/10.1017/S1471068421000211},
  doi          = {10.1017/S1471068421000211},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/AngelisFGHPP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GallagherS21,
  author       = {John P. Gallagher and
                  Martin Sulzmann},
  title        = {Preface},
  journal      = {Sci. Comput. Program.},
  volume       = {202},
  pages        = {102577},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.scico.2020.102577},
  doi          = {10.1016/J.SCICO.2020.102577},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/GallagherS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04631,
  author       = {Bishoksan Kafle and
                  John P. Gallagher and
                  Manuel V. Hermenegildo and
                  Maximiliano Klemen and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  Jos{\'{e}} F. Morales},
  editor       = {Hossein Hojjat and
                  Bishoksan Kafle},
  title        = {Regular Path Clauses and Their Application in Solving Loops},
  booktitle    = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2021, Virtual, 28th March 2021},
  series       = {{EPTCS}},
  volume       = {344},
  pages        = {22--35},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.344.3},
  doi          = {10.4204/EPTCS.344.3},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-04631.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-00739,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  John P. Gallagher and
                  Manuel V. Hermenegildo and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  title        = {Analysis and Transformation of Constrained Horn Clauses for Program
                  Verification},
  journal      = {CoRR},
  volume       = {abs/2108.00739},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.00739},
  eprinttype    = {arXiv},
  eprint       = {2108.00739},
  timestamp    = {Thu, 05 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-00739.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FioravantiGP20,
  author       = {Fabio Fioravanti and
                  John P. Gallagher and
                  Maurizio Proietti},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {173},
  number       = {4},
  year         = {2020},
  url          = {https://doi.org/10.3233/FI-2020-1923},
  doi          = {10.3233/FI-2020-1923},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/FioravantiGP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/0002Y0GW20,
  author       = {Xueliang Li and
                  Yuming Yang and
                  Yepang Liu and
                  John P. Gallagher and
                  Kaishun Wu},
  editor       = {Sarfraz Khurshid and
                  Corina S. Pasareanu},
  title        = {Detecting and diagnosing energy issues for mobile applications},
  booktitle    = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
  pages        = {115--127},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3395363.3397350},
  doi          = {10.1145/3395363.3397350},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/0002Y0GW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02931,
  author       = {John P. Gallagher and
                  Manuel V. Hermenegildo and
                  Bishoksan Kafle and
                  Maximiliano Klemen and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  Jos{\'{e}} F. Morales},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation},
  booktitle    = {Proceedings 8th International Workshop on Verification and Program
                  Transformation and 7th Workshop on Horn Clauses for Verification and
                  Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
  series       = {{EPTCS}},
  volume       = {320},
  pages        = {50--64},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.4},
  doi          = {10.4204/EPTCS.320.4},
  timestamp    = {Mon, 26 Apr 2021 11:43:53 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02931.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02937,
  author       = {John P. Gallagher and
                  Robert Gl{\"{u}}ck},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {An Experiment Combining Specialization with Abstract Interpretation},
  booktitle    = {Proceedings 8th International Workshop on Verification and Program
                  Transformation and 7th Workshop on Horn Clauses for Verification and
                  Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
  series       = {{EPTCS}},
  volume       = {320},
  pages        = {155--158},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.11},
  doi          = {10.4204/EPTCS.320.11},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02937.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DomenechGG19,
  author       = {Jes{\'{u}}s J. Dom{\'{e}}nech and
                  John P. Gallagher and
                  Samir Genaim},
  title        = {Control-Flow Refinement by Partial Evaluation, and its Application
                  to Termination and Cost Analysis},
  journal      = {Theory Pract. Log. Program.},
  volume       = {19},
  number       = {5-6},
  pages        = {990--1005},
  year         = {2019},
  url          = {https://doi.org/10.1017/S1471068419000310},
  doi          = {10.1017/S1471068419000310},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/DomenechGG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Klemen0GMH19,
  author       = {Maximiliano Klemen and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  John P. Gallagher and
                  Jos{\'{e}} F. Morales and
                  Manuel V. Hermenegildo},
  editor       = {Maurizio Gabbrielli},
  title        = {A General Framework for Static Cost Analysis of Parallel Logic Programs},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 29th International
                  Symposium, {LOPSTR} 2019, Porto, Portugal, October 8-10, 2019, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12042},
  pages        = {19--35},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-45260-5\_2},
  doi          = {10.1007/978-3-030-45260-5\_2},
  timestamp    = {Fri, 23 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Klemen0GMH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-07189,
  author       = {John P. Gallagher},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Polyvariant Program Specialisation with Property-based Abstraction},
  booktitle    = {Proceedings Seventh International Workshop on Verification and Program
                  Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019},
  series       = {{EPTCS}},
  volume       = {299},
  pages        = {34--48},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.299.6},
  doi          = {10.4204/EPTCS.299.6},
  timestamp    = {Fri, 03 Jun 2022 08:18:12 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-07189.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-01062,
  author       = {Xueliang Li and
                  Yuming Yang and
                  Yepang Liu and
                  John P. Gallagher and
                  Kaishun Wu},
  title        = {Detecting and Diagnosing Energy Issues for Mobile Applications},
  journal      = {CoRR},
  volume       = {abs/1901.01062},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.01062},
  eprinttype    = {arXiv},
  eprint       = {1901.01062},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-01062.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-12345,
  author       = {Jes{\'{u}}s J. Dom{\'{e}}nech and
                  John P. Gallagher and
                  Samir Genaim},
  title        = {Control-Flow Refinement by Partial Evaluation, and its Application
                  to Termination and Cost Analysis},
  journal      = {CoRR},
  volume       = {abs/1907.12345},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.12345},
  eprinttype    = {arXiv},
  eprint       = {1907.12345},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-12345.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-13272,
  author       = {Maximiliano Klemen and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  John P. Gallagher and
                  Jos{\'{e}} F. Morales and
                  Manuel V. Hermenegildo},
  title        = {Towards a General Framework for Static Cost Analysis of Parallel Logic
                  Programs},
  journal      = {CoRR},
  volume       = {abs/1907.13272},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.13272},
  eprinttype    = {arXiv},
  eprint       = {1907.13272},
  timestamp    = {Fri, 23 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-13272.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GallagherAK18,
  author       = {John P. Gallagher and
                  Mai Ajspur and
                  Bishoksan Kafle},
  title        = {Optimised determinisation and completion of finite tree automata},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {95},
  pages        = {1--16},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2017.10.004},
  doi          = {10.1016/J.JLAMP.2017.10.004},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/GallagherAK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KafleGG18,
  author       = {Bishoksan Kafle and
                  John P. Gallagher and
                  Pierre Ganty},
  title        = {Tree dimension in verification of constrained Horn clauses},
  journal      = {Theory Pract. Log. Program.},
  volume       = {18},
  number       = {2},
  pages        = {224--251},
  year         = {2018},
  url          = {https://doi.org/10.1017/S1471068418000030},
  doi          = {10.1017/S1471068418000030},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/KafleGG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KafleGGS18,
  author       = {Bishoksan Kafle and
                  John P. Gallagher and
                  Graeme Gange and
                  Peter Schachte and
                  Harald S{\o}ndergaard and
                  Peter J. Stuckey},
  title        = {An iterative approach to precondition inference using constrained
                  Horn clauses},
  journal      = {Theory Pract. Log. Program.},
  volume       = {18},
  number       = {3-4},
  pages        = {553--570},
  year         = {2018},
  url          = {https://doi.org/10.1017/S1471068418000091},
  doi          = {10.1017/S1471068418000091},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/KafleGGS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2018,
  editor       = {John P. Gallagher and
                  Martin Sulzmann},
  title        = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
                  2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10818},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-90686-7},
  doi          = {10.1007/978-3-319-90686-7},
  isbn         = {978-3-319-90685-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2017,
  editor       = {Fabio Fioravanti and
                  John P. Gallagher},
  title        = {Logic-Based Program Synthesis and Transformation - 27th International
                  Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10855},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94460-9},
  doi          = {10.1007/978-3-319-94460-9},
  isbn         = {978-3-319-94459-3},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1803-08668,
  editor       = {John P. Gallagher and
                  Rob van Glabbeek and
                  Wendelin Serwe},
  title        = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
                  and Sixth International Workshop on Verification and Program Transformation,
                  MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
  series       = {{EPTCS}},
  volume       = {268},
  year         = {2018},
  url          = {http://arxiv.org/abs/1803.08668},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-08668.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-01448,
  author       = {Bishoksan Kafle and
                  John P. Gallagher and
                  Pierre Ganty},
  title        = {Tree dimension in verification of constrained Horn clauses},
  journal      = {CoRR},
  volume       = {abs/1803.01448},
  year         = {2018},
  url          = {http://arxiv.org/abs/1803.01448},
  eprinttype    = {arXiv},
  eprint       = {1803.01448},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-01448.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-05989,
  author       = {Bishoksan Kafle and
                  John P. Gallagher and
                  Graeme Gange and
                  Peter Schachte and
                  Harald S{\o}ndergaard and
                  Peter J. Stuckey},
  title        = {An iterative approach to precondition inference using constrained
                  Horn clauses},
  journal      = {CoRR},
  volume       = {abs/1804.05989},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.05989},
  eprinttype    = {arXiv},
  eprint       = {1804.05989},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-05989.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/KafleG17,
  author       = {Bishoksan Kafle and
                  John P. Gallagher},
  title        = {Horn clause verification with convex polyhedral abstraction and tree
                  automata-based refinement},
  journal      = {Comput. Lang. Syst. Struct.},
  volume       = {47},
  pages        = {2--18},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.cl.2015.11.001},
  doi          = {10.1016/J.CL.2015.11.001},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/KafleG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KafleG17,
  author       = {Bishoksan Kafle and
                  John P. Gallagher},
  title        = {Constraint specialisation in Horn clause verification},
  journal      = {Sci. Comput. Program.},
  volume       = {137},
  pages        = {125--140},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2017.01.002},
  doi          = {10.1016/J.SCICO.2017.01.002},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/KafleG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-07854,
  author       = {Fabio Fioravanti and
                  John P. Gallagher},
  title        = {Pre-proceedings of the 27th International Symposium on Logic-Based
                  Program Synthesis and Transformation {(LOPSTR} 2017)},
  journal      = {CoRR},
  volume       = {abs/1708.07854},
  year         = {2017},
  url          = {http://arxiv.org/abs/1708.07854},
  eprinttype    = {arXiv},
  eprint       = {1708.07854},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1708-07854.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/EderGLMBGHHKKKK16,
  author       = {Kerstin Eder and
                  John P. Gallagher and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  Henk L. Muller and
                  Zorana Bankovic and
                  Kyriakos Georgiou and
                  R{\'{e}}my Haemmerl{\'{e}} and
                  Manuel V. Hermenegildo and
                  Bishoksan Kafle and
                  Steve Kerrison and
                  Maja H. Kirkeby and
                  Maximiliano Klemen and
                  Xueliang Li and
                  Umer Liqat and
                  Jeremy Morse and
                  Morten Rhiger and
                  Mads Rosendahl},
  title        = {{ENTRA:} Whole-systems energy transparency},
  journal      = {Microprocess. Microsystems},
  volume       = {47},
  pages        = {278--286},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.micpro.2016.07.003},
  doi          = {10.1016/J.MICPRO.2016.07.003},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mam/EderGLMBGHHKKKK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KafleGM16,
  author       = {Bishoksan Kafle and
                  John P. Gallagher and
                  Jos{\'{e}} F. Morales},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {Rahft: {A} Tool for Verifying Horn Clauses Using Abstract Interpretation
                  and Finite Tree Automata},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9779},
  pages        = {261--268},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41528-4\_14},
  doi          = {10.1007/978-3-319-41528-4\_14},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/KafleGM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HaemmerleLLKGH16,
  author       = {R{\'{e}}my Haemmerl{\'{e}} and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  Umer Liqat and
                  Maximiliano Klemen and
                  John P. Gallagher and
                  Manuel V. Hermenegildo},
  editor       = {Oleg Kiselyov and
                  Andy King},
  title        = {A Transformational Approach to Parametric Accumulated-Cost Static
                  Profiling},
  booktitle    = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
                  2016, Kochi, Japan, March 4-6, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9613},
  pages        = {163--180},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-29604-3\_11},
  doi          = {10.1007/978-3-319-29604-3\_11},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/HaemmerleLLKGH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/0002G16,
  author       = {Xueliang Li and
                  John P. Gallagher},
  editor       = {Takahiro Hara and
                  Hiroshi Shigeno},
  title        = {Fine-Grained Energy Modeling for the Source Code of a Mobile Application},
  booktitle    = {Proceedings of the 13th International Conference on Mobile and Ubiquitous
                  Systems: Computing, Networking and Services, MobiQuitous 2016, Hiroshima,
                  Japan, November 28 - December 1, 2016},
  pages        = {180--189},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2994374.2994394},
  doi          = {10.1145/2994374.2994394},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mobiquitous/0002G16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/0002G16,
  author       = {Xueliang Li and
                  John P. Gallagher},
  title        = {A Source-Level Energy Optimization Framework for Mobile Applications},
  booktitle    = {16th {IEEE} International Working Conference on Source Code Analysis
                  and Manipulation, {SCAM} 2016, Raleigh, NC, USA, October 2-3, 2016},
  pages        = {31--40},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SCAM.2016.12},
  doi          = {10.1109/SCAM.2016.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scam/0002G16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleGG16,
  author       = {Bishoksan Kafle and
                  John P. Gallagher and
                  Pierre Ganty},
  editor       = {John P. Gallagher and
                  Philipp R{\"{u}}mmer},
  title        = {Solving non-linear Horn clauses using a linear Horn clause solver},
  booktitle    = {Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016},
  series       = {{EPTCS}},
  volume       = {219},
  pages        = {33--48},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.219.4},
  doi          = {10.4204/EPTCS.219.4},
  timestamp    = {Sat, 30 Sep 2023 10:07:57 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KafleGG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleG16,
  author       = {Bishoksan Kafle and
                  John P. Gallagher},
  editor       = {Geoff W. Hamilton and
                  Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Interpolant tree automata and their application in Horn clause verification},
  booktitle    = {Proceedings of the Fourth International Workshop on Verification and
                  Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
                  2nd April 2016},
  series       = {{EPTCS}},
  volume       = {216},
  pages        = {104--117},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.216.6},
  doi          = {10.4204/EPTCS.216.6},
  timestamp    = {Fri, 03 Jun 2022 08:18:12 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KafleG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/GallagherR16,
  editor       = {John P. Gallagher and
                  Philipp R{\"{u}}mmer},
  title        = {Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis,
                  HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016},
  series       = {{EPTCS}},
  volume       = {219},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.219},
  doi          = {10.4204/EPTCS.219},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GallagherR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0002G16a,
  author       = {Xueliang Li and
                  John P. Gallagher},
  title        = {An Energy-Aware Programming Approach for Mobile Application Development
                  Guided by a Fine-Grained Energy Model},
  journal      = {CoRR},
  volume       = {abs/1605.05234},
  year         = {2016},
  url          = {http://arxiv.org/abs/1605.05234},
  eprinttype    = {arXiv},
  eprint       = {1605.05234},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/0002G16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EderGLMBGHHKKKK16,
  author       = {Kerstin Eder and
                  John P. Gallagher and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  Henk L. Muller and
                  Zorana Bankovic and
                  Kyriakos Georgiou and
                  R{\'{e}}my Haemmerl{\'{e}} and
                  Manuel V. Hermenegildo and
                  Bishoksan Kafle and
                  Steve Kerrison and
                  Maja H. Kirkeby and
                  Maximiliano Klemen and
                  Xueliang Li and
                  Umer Liqat and
                  Jeremy Morse and
                  Morten Rhiger and
                  Mads Rosendahl},
  title        = {{ENTRA:} Whole-Systems Energy Transparency},
  journal      = {CoRR},
  volume       = {abs/1606.04074},
  year         = {2016},
  url          = {http://arxiv.org/abs/1606.04074},
  eprinttype    = {arXiv},
  eprint       = {1606.04074},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/EderGLMBGHHKKKK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0002G16b,
  author       = {Xueliang Li and
                  John P. Gallagher},
  title        = {A Source-level Energy Optimization Framework for Mobile Applications},
  journal      = {CoRR},
  volume       = {abs/1608.05248},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.05248},
  eprinttype    = {arXiv},
  eprint       = {1608.05248},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/0002G16b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/LiqatGK0GHE15,
  author       = {Umer Liqat and
                  Kyriakos Georgiou and
                  Steve Kerrison and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  John P. Gallagher and
                  Manuel V. Hermenegildo and
                  Kerstin Eder},
  editor       = {Marko C. J. D. van Eekelen and
                  Ugo Dal Lago},
  title        = {Inferring Parametric Energy Consumption Functions at Different Software
                  Levels: {ISA} vs. {LLVM} {IR}},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - 4th International
                  Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9964},
  pages        = {81--100},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-46559-3\_5},
  doi          = {10.1007/978-3-319-46559-3\_5},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fopara/LiqatGK0GHE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/KafleG15,
  author       = {Bishoksan Kafle and
                  John P. Gallagher},
  editor       = {Kenichi Asai and
                  Kostis Sagonas},
  title        = {Constraint Specialisation in Horn Clause Verification},
  booktitle    = {Proceedings of the 2015 Workshop on Partial Evaluation and Program
                  Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
  pages        = {85--90},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2678015.2682544},
  doi          = {10.1145/2678015.2682544},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/KafleG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KafleG15,
  author       = {Bishoksan Kafle and
                  John P. Gallagher},
  editor       = {Deepak D'Souza and
                  Akash Lal and
                  Kim Guldstrand Larsen},
  title        = {Tree Automata-Based Refinement with Application to Horn Clause Verification},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 16th International
                  Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8931},
  pages        = {209--226},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46081-8\_12},
  doi          = {10.1007/978-3-662-46081-8\_12},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/KafleG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleGG15,
  author       = {Bishoksan Kafle and
                  John P. Gallagher and
                  Pierre Ganty},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh and
                  Alberto Pettorossi},
  title        = {Decomposition by tree dimension in Horn clause verification},
  booktitle    = {Proceedings of the Third International Workshop on Verification and
                  Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th
                  April 2015},
  series       = {{EPTCS}},
  volume       = {199},
  pages        = {1--14},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.199.1},
  doi          = {10.4204/EPTCS.199.1},
  timestamp    = {Fri, 03 Jun 2022 08:18:12 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KafleGG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiG15,
  author       = {Xueliang Li and
                  John P. Gallagher},
  title        = {A Top-to-Bottom View: Energy Analysis for Mobile Application Source
                  Code},
  journal      = {CoRR},
  volume       = {abs/1510.04165},
  year         = {2015},
  url          = {http://arxiv.org/abs/1510.04165},
  eprinttype    = {arXiv},
  eprint       = {1510.04165},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LiG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiqatGKLGHE15,
  author       = {Umer Liqat and
                  Kyriakos Georgiou and
                  Steve Kerrison and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  John P. Gallagher and
                  Manuel V. Hermenegildo and
                  Kerstin Eder},
  title        = {Inferring Parametric Energy Consumption Functions at Different Software
                  Levels: {ISA} vs. {LLVM} {IR}},
  journal      = {CoRR},
  volume       = {abs/1511.01413},
  year         = {2015},
  url          = {http://arxiv.org/abs/1511.01413},
  eprinttype    = {arXiv},
  eprint       = {1511.01413},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/LiqatGKLGHE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GallagherAK15,
  author       = {John P. Gallagher and
                  Mai Ajspur and
                  Bishoksan Kafle},
  title        = {An Optimised Algorithm for Determinisation and Completion of Finite
                  Tree Automata},
  journal      = {CoRR},
  volume       = {abs/1511.03595},
  year         = {2015},
  url          = {http://arxiv.org/abs/1511.03595},
  eprinttype    = {arXiv},
  eprint       = {1511.03595},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GallagherAK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleG14,
  author       = {Bishoksan Kafle and
                  John P. Gallagher},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Fabio Fioravanti and
                  Andrey Rybalchenko and
                  Valerio Senni},
  title        = {Convex polyhedral abstractions, specialisation and property-based
                  predicate splitting in Horn clause verification},
  booktitle    = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis,
                  {HCVS} 2014, Vienna, Austria, 17 July 2014},
  series       = {{EPTCS}},
  volume       = {169},
  pages        = {53--67},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.169.7},
  doi          = {10.4204/EPTCS.169.7},
  timestamp    = {Thu, 14 Apr 2022 20:26:11 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KafleG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GallagherK14,
  author       = {John P. Gallagher and
                  Bishoksan Kafle},
  title        = {Analysis and Transformation Tools for Constrained Horn Clause Verification},
  journal      = {CoRR},
  volume       = {abs/1405.3883},
  year         = {2014},
  url          = {http://arxiv.org/abs/1405.3883},
  eprinttype    = {arXiv},
  eprint       = {1405.3883},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GallagherK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GallagherG11,
  author       = {John P. Gallagher and
                  Michael Gelfond},
  title        = {Introduction to the 27th International Conference on Logic Programming
                  Special Issue},
  journal      = {Theory Pract. Log. Program.},
  volume       = {11},
  number       = {4-5},
  pages        = {429--432},
  year         = {2011},
  url          = {https://doi.org/10.1017/S1471068411000342},
  doi          = {10.1017/S1471068411000342},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/GallagherG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GallagherG11,
  author       = {John P. Gallagher and
                  Michael Gelfond},
  editor       = {John P. Gallagher and
                  Michael Gelfond},
  title        = {Frontmatter, Table of Contents, Preface, Conference Organization},
  booktitle    = {Technical Communications of the 27th International Conference on Logic
                  Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
  series       = {LIPIcs},
  volume       = {11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.ICLP.2011.i},
  doi          = {10.4230/LIPICS.ICLP.2011.I},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/GallagherG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Gallagher11,
  author       = {John P. Gallagher},
  editor       = {Germ{\'{a}}n Vidal},
  title        = {Analysis of Logic Programs Using Regular Tree Languages - (Extended
                  Abstract)},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 21st International
                  Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7225},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32211-2\_1},
  doi          = {10.1007/978-3-642-32211-2\_1},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Gallagher11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2011,
  editor       = {John P. Gallagher and
                  Michael Gelfond},
  title        = {Technical Communications of the 27th International Conference on Logic
                  Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
  series       = {LIPIcs},
  volume       = {11},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11006},
  isbn         = {978-3-939897-31-6},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/GallagherV10,
  author       = {John P. Gallagher and
                  Janis Voigtl{\"{a}}nder},
  title        = {Editorial},
  journal      = {High. Order Symb. Comput.},
  volume       = {23},
  number       = {3},
  pages        = {273--274},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10990-011-9081-0},
  doi          = {10.1007/S10990-011-9081-0},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/GallagherV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BandaG10,
  author       = {Gourinath Banda and
                  John P. Gallagher},
  editor       = {Edmund M. Clarke and
                  Andrei Voronkov},
  title        = {Constraint-Based Abstract Semantics for Temporal Logic: {A} Direct
                  Approach to Design and Implementation},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
                  International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
                  2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6355},
  pages        = {27--45},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17511-4\_3},
  doi          = {10.1007/978-3-642-17511-4\_3},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BandaG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2010,
  editor       = {John P. Gallagher and
                  Janis Voigtl{\"{a}}nder},
  title        = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
                  2010},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {http://dl.acm.org/citation.cfm?id=1706356},
  isbn         = {978-1-60558-727-1},
  timestamp    = {Tue, 22 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-4535,
  author       = {Rafael Caballero and
                  John P. Gallagher},
  title        = {Proceedings of the 19th Workshop on Logic-based methods in Programming
                  Environments {(WLPE} 2009)},
  journal      = {CoRR},
  volume       = {abs/1002.4535},
  year         = {2010},
  url          = {http://arxiv.org/abs/1002.4535},
  eprinttype    = {arXiv},
  eprint       = {1002.4535},
  timestamp    = {Wed, 23 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1002-4535.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AlbertGGP09,
  author       = {Elvira Albert and
                  John P. Gallagher and
                  Miguel G{\'{o}}mez{-}Zamalloa and
                  Germ{\'{a}}n Puebla},
  title        = {Type-based homeomorphic embedding for online termination},
  journal      = {Inf. Process. Lett.},
  volume       = {109},
  number       = {15},
  pages        = {879--886},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.ipl.2009.04.016},
  doi          = {10.1016/J.IPL.2009.04.016},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipl/AlbertGGP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChristiansenG09,
  author       = {Henning Christiansen and
                  John P. Gallagher},
  editor       = {Patricia M. Hill and
                  David Scott Warren},
  title        = {Non-discriminating Arguments and Their Uses},
  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        = {55--69},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02846-5\_10},
  doi          = {10.1007/978-3-642-02846-5\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/ChristiansenG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BandaG08,
  author       = {Gourinath Banda and
                  John P. Gallagher},
  editor       = {Michael Hanus},
  title        = {Analysis of Linear Hybrid Systems in {CLP}},
  booktitle    = {Logic-Based Program Synthesis and Transformation, 18th International
                  Symposium, {LOPSTR} 2008, Valencia, Spain, July 17-18, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5438},
  pages        = {55--70},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00515-2\_5},
  doi          = {10.1007/978-3-642-00515-2\_5},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/BandaG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SchrijversBG08,
  author       = {Tom Schrijvers and
                  Maurice Bruynooghe and
                  John P. Gallagher},
  editor       = {Michael Hanus},
  title        = {From Monomorphic to Polymorphic Well-Typings and Beyond},
  booktitle    = {Logic-Based Program Synthesis and Transformation, 18th International
                  Symposium, {LOPSTR} 2008, Valencia, Spain, July 17-18, 2008, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5438},
  pages        = {152--167},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00515-2\_11},
  doi          = {10.1007/978-3-642-00515-2\_11},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/SchrijversBG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GallagherR08,
  author       = {John P. Gallagher and
                  Mads Rosendahl},
  editor       = {Iliano Cervesato and
                  Helmut Veith and
                  Andrei Voronkov},
  title        = {Approximating Term Rewriting Systems: {A} Horn Clause Specification
                  and Its Implementation},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
                  International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
                  2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5330},
  pages        = {682--696},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89439-1\_47},
  doi          = {10.1007/978-3-540-89439-1\_47},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/GallagherR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BruynoogheCGGV07,
  author       = {Maurice Bruynooghe and
                  Michael Codish and
                  John P. Gallagher and
                  Samir Genaim and
                  Wim Vanhoof},
  title        = {Termination analysis of logic programs through combination of type-based
                  norms},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {29},
  number       = {2},
  pages        = {10},
  year         = {2007},
  url          = {https://doi.org/10.1145/1216374.1216378},
  doi          = {10.1145/1216374.1216378},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BruynoogheCGGV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertGGP07,
  author       = {Elvira Albert and
                  John P. Gallagher and
                  Miguel G{\'{o}}mez{-}Zamalloa and
                  Germ{\'{a}}n Puebla},
  editor       = {Andy King},
  title        = {Type-Based Homeomorphic Embedding and Its Applications to Online Partial
                  Evaluation},
  booktitle    = {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},
  pages        = {23--42},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-78769-3\_3},
  doi          = {10.1007/978-3-540-78769-3\_3},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/AlbertGGP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0712-2737,
  author       = {Kim S. Henriksen and
                  Gourinath Banda and
                  John P. Gallagher},
  title        = {Experiments with a Convex Polyhedral Analysis Tool for Logic Programs},
  journal      = {CoRR},
  volume       = {abs/0712.2737},
  year         = {2007},
  url          = {http://arxiv.org/abs/0712.2737},
  eprinttype    = {arXiv},
  eprint       = {0712.2737},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0712-2737.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701110,
  author       = {Kim S. Henriksen and
                  John P. Gallagher},
  title        = {A Web-based Tool Combining Different Type Analyses},
  journal      = {CoRR},
  volume       = {abs/cs/0701110},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701110},
  eprinttype    = {arXiv},
  eprint       = {cs/0701110},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701110.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/HenriksenG06,
  author       = {Kim S. Henriksen and
                  John P. Gallagher},
  title        = {Abstract Interpretation of {PIC} Programs through Logic Programming},
  booktitle    = {Sixth {IEEE} International Workshop on Source Code Analysis and Manipulation
                  {(SCAM} 2006), 27-29 September 2006, Philadelphia, Pennsylvania, {USA}},
  pages        = {184--196},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SCAM.2006.1},
  doi          = {10.1109/SCAM.2006.1},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scam/HenriksenG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GallagherHB05,
  author       = {John P. Gallagher and
                  Kim S. Henriksen and
                  Gourinath Banda},
  editor       = {Maurizio Gabbrielli and
                  Gopal Gupta},
  title        = {Techniques for Scaling Up Analyses Based on Pre-interpretations},
  booktitle    = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
                  Spain, October 2-5, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3668},
  pages        = {280--296},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562931\_22},
  doi          = {10.1007/11562931\_22},
  timestamp    = {Wed, 26 Oct 2022 11:14:38 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/GallagherHB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertPG05,
  author       = {Elvira Albert and
                  Germ{\'{a}}n Puebla and
                  John P. Gallagher},
  editor       = {Patricia M. Hill},
  title        = {Non-leftmost Unfolding in Partial Evaluation of Logic Programs with
                  Impure Predicates},
  booktitle    = {Logic Based Program Synthesis and Transformation, 15th International
                  Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3901},
  pages        = {115--132},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11680093\_8},
  doi          = {10.1007/11680093\_8},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AlbertPG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GallagherPA05,
  author       = {John P. Gallagher and
                  Germ{\'{a}}n Puebla and
                  Elvira Albert},
  editor       = {Patricia M. Hill},
  title        = {Converting One Type-Based Abstract Domain to Another},
  booktitle    = {Logic Based Program Synthesis and Transformation, 15th International
                  Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3901},
  pages        = {147--162},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11680093\_10},
  doi          = {10.1007/11680093\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/GallagherPA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BruynoogheGH05,
  author       = {Maurice Bruynooghe and
                  John P. Gallagher and
                  Wouter Van Humbeeck},
  editor       = {Chris Hankin and
                  Igor Siveroni},
  title        = {Inference of Well-Typings for Logic Programs with Application to Termination
                  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        = {35--51},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11547662\_5},
  doi          = {10.1007/11547662\_5},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BruynoogheGH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GallagherH04,
  author       = {John P. Gallagher and
                  Kim S. Henriksen},
  editor       = {Bart Demoen and
                  Vladimir Lifschitz},
  title        = {Abstract Domains Based on Regular Types},
  booktitle    = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
                  France, September 6-10, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3132},
  pages        = {27--42},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27775-0\_3},
  doi          = {10.1007/978-3-540-27775-0\_3},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/GallagherH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CraigGLH04,
  author       = {Stephen{-}John Craig and
                  John P. Gallagher and
                  Michael Leuschel and
                  Kim S. Henriksen},
  editor       = {Sandro Etalle},
  title        = {Fully Automatic Binding-Time Analysis for Prolog},
  booktitle    = {Logic Based Program Synthesis and Transformation, 14th International
                  Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3573},
  pages        = {53--68},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11506676\_4},
  doi          = {10.1007/11506676\_4},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/CraigGLH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/Gallagher04,
  author       = {John P. Gallagher},
  editor       = {Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez and
                  Jos{\'{e}} Manu{\'{e}}l G{\'{o}}mez{-}P{\'{e}}rez},
  title        = {Regular types, modes and model checking (Invited Talk)},
  booktitle    = {Proceedings of the 14th International Workshop on Logic Programming
                  Environments, {WLPE} 2004, Saint-Malo, France, September 6-7, 2004},
  year         = {2004},
  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpe/Gallagher04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/HenriksenG04,
  author       = {Kim S. Henriksen and
                  John P. Gallagher},
  title        = {Analysis and specialisation of a {PIC} processor},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  {\&} Cybernetics: The Hague, Netherlands, 10-13 October 2004},
  pages        = {1131--1135},
  publisher    = {{IEEE}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICSMC.2004.1399774},
  doi          = {10.1109/ICSMC.2004.1399774},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/HenriksenG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Gallagher03,
  author       = {John P. Gallagher},
  editor       = {Maurice Bruynooghe},
  title        = {A Program Transformation for Backwards Analysis of Logic Programs},
  booktitle    = {Logic Based Program Synthesis and Transformation, 13th International
                  Symposium {LOPSTR} 2003, Uppsala, Sweden, August 25-27, 2003, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3018},
  pages        = {92--105},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-25938-1\_8},
  doi          = {10.1007/978-3-540-25938-1\_8},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Gallagher03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Gallagher02,
  author       = {John P. Gallagher},
  editor       = {Juan Jos{\'{e}} Moreno{-}Navarro and
                  Julio Mari{\~{n}}o{-}Carballo},
  title        = {Whatever Happened to Meta-Programming?},
  booktitle    = {{AGP} 2002: Proceedings of the Joint Conference on Declarative Programming,
                  APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002},
  pages        = {1},
  publisher    = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica
                  de Madrid},
  year         = {2002},
  url          = {https://www.programmazionelogica.it/wp-content/uploads/2002/09/agp02\_intro.pdf},
  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agp/Gallagher02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PeraltaG02,
  author       = {Julio C. Peralta and
                  John P. Gallagher},
  editor       = {Michael Leuschel},
  title        = {Convex Hull Abstractions in Specialization of {CLP} Programs},
  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        = {90--108},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45013-0\_8},
  doi          = {10.1007/3-540-45013-0\_8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/PeraltaG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/GallagherP02,
  author       = {John P. Gallagher and
                  Germ{\'{a}}n Puebla},
  editor       = {Shriram Krishnamurthi and
                  C. R. Ramakrishnan},
  title        = {Abstract Interpretation over Non-deterministic Finite Tree Automata
                  for Set-Based Analysis of Logic Programs},
  booktitle    = {Practical Aspects of Declarative Languages, 4th International Symposium,
                  {PADL} 2002, Portland, OR, USA, January 19-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2257},
  pages        = {243--261},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45587-6\_16},
  doi          = {10.1007/3-540-45587-6\_16},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/GallagherP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GenaimCGL02,
  author       = {Samir Genaim and
                  Michael Codish and
                  John P. Gallagher and
                  Vitaly Lagoon},
  editor       = {Agostino Cortesi},
  title        = {Combining Norms to Prove Termination},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, Third International
                  Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2294},
  pages        = {126--138},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-47813-2\_9},
  doi          = {10.1007/3-540-47813-2\_9},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/GenaimCGL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/GallagherP01,
  author       = {John P. Gallagher and
                  Julio C. Peralta},
  title        = {Regular Tree Languages as an Abstract Domain in Program Specialisation},
  journal      = {High. Order Symb. Comput.},
  volume       = {14},
  number       = {2-3},
  pages        = {143--172},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1012936614361},
  doi          = {10.1023/A:1012936614361},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lisp/GallagherP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/GallagherP00,
  author       = {John P. Gallagher and
                  Julio C. Peralta},
  editor       = {Julia L. Lawall},
  title        = {Using Regular Approximations for Generalisation During Partial Evalution},
  booktitle    = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
                  USA, January 22-23, 2000},
  pages        = {44--51},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/328690.328698},
  doi          = {10.1145/328690.328698},
  timestamp    = {Thu, 08 Jul 2021 16:04:02 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/GallagherP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/bc/00/GuessoumG00,
  author       = {Ahmed Guessoum and
                  John P. Gallagher},
  editor       = {Harry Bunt and
                  William Black},
  title        = {Abductive reasoning with knowledge bases for context modelling},
  booktitle    = {Abduction, Belief and Context in Dialogue},
  series       = {Natural Language Processing},
  volume       = {1},
  pages        = {413--428},
  publisher    = {Benjamin/Cummings},
  year         = {2000},
  url          = {https://doi.org/10.1075/nlp.1.14gue},
  doi          = {10.1075/NLP.1.14GUE},
  timestamp    = {Mon, 19 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/bc/00/GuessoumG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PeraltaG99,
  author       = {Julio C. Peralta and
                  John P. Gallagher},
  editor       = {Annalisa Bossi},
  title        = {Imperative Program Specialisation: An Approach Using {CLP}},
  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        = {102--117},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/10720327\_7},
  doi          = {10.1007/10720327\_7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/PeraltaG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/PueblaHG99,
  author       = {Germ{\'{a}}n Puebla and
                  Manuel V. Hermenegildo and
                  John P. Gallagher},
  editor       = {Olivier Danvy},
  title        = {An Integration of Partial Evaluation in a Generic Abstract Interpretation
                  Framework},
  booktitle    = {Proceedings of the 1999 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-Based Program Manipulation, San Antonio, Texas, USA,
                  January 22-23, 1999. Technical report {BRICS-NS-99-1}},
  pages        = {75--84},
  publisher    = {University of Aarhus},
  year         = {1999},
  timestamp    = {Tue, 22 May 2012 15:24:56 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/PueblaHG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/GallagherL98,
  author       = {John P. Gallagher and
                  Laura Lafave},
  title        = {The Role of Trace Abstractions in Program Specialization Algorithms},
  journal      = {{ACM} Comput. Surv.},
  volume       = {30},
  number       = {3es},
  pages        = {12},
  year         = {1998},
  url          = {https://doi.org/10.1145/289121.289133},
  doi          = {10.1145/289121.289133},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/GallagherL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/GallagherL98a,
  author       = {Laura Lafave and
                  John P. Gallagher},
  title        = {Extending the Power of Automatic Constraint-Based Partial Evaluators},
  journal      = {{ACM} Comput. Surv.},
  volume       = {30},
  number       = {3es},
  pages        = {15},
  year         = {1998},
  url          = {https://doi.org/10.1145/289121.289136},
  doi          = {10.1145/289121.289136},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/GallagherL98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PeraltaGS98,
  author       = {Julio C. Peralta and
                  John P. Gallagher and
                  H{\"{u}}seyin Saglam},
  editor       = {Giorgio Levi},
  title        = {Analysis of Imperative Programs through Analysis of Constraint Logic
                  Programs},
  booktitle    = {Static Analysis, 5th International Symposium, {SAS} '98, Pisa, Italy,
                  September 14-16, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1503},
  pages        = {246--261},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49727-7\_15},
  doi          = {10.1007/3-540-49727-7\_15},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/PeraltaGS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LafaveG97,
  author       = {Laura Lafave and
                  John P. Gallagher},
  editor       = {Norbert E. Fuchs},
  title        = {Constraint-Based Partial Evaluation of Rewriting-Based Functional
                  Logic Programs},
  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        = {168--188},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-49674-2\_9},
  doi          = {10.1007/3-540-49674-2\_9},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/LafaveG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SaglamG97,
  author       = {H{\"{u}}seyin Saglam and
                  John P. Gallagher},
  editor       = {Norbert E. Fuchs},
  title        = {Constrained Regular Approximation of Logic Programs},
  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        = {282--299},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-49674-2\_15},
  doi          = {10.1007/3-540-49674-2\_15},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/SaglamG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/1996,
  editor       = {John P. Gallagher},
  title        = {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},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-62718-9},
  doi          = {10.1007/3-540-62718-9},
  isbn         = {3-540-62718-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/1997,
  editor       = {John P. Gallagher and
                  Charles Consel and
                  A. Michael Berman},
  title        = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
                  and Semantics-Based Program Manipulation {(PEPM} '97), Amsterdam,
                  The Netherlands, June 12-13, 1997},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/258993},
  doi          = {10.1145/258993},
  isbn         = {0-89791-917-3},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GallagherL96,
  author       = {John P. Gallagher and
                  Laura Lafave},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Regular Approximation of Computation Paths in Logic and Functional
                  Languages},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {115--136},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_7},
  doi          = {10.1007/3-540-61580-6\_7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/GallagherL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MartensG95,
  author       = {Bern Martens and
                  John P. Gallagher},
  editor       = {Leon Sterling},
  title        = {Ensuring Global Termination of Partial Deduction while Allowing Flexible
                  Polyvariance},
  booktitle    = {Logic Programming, Proceedings of the Twelfth International Conference
                  on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  pages        = {597--611},
  publisher    = {{MIT} Press},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/MartensG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/SaglamG95,
  author       = {H{\"{u}}seyin Saglam and
                  John P. Gallagher},
  editor       = {Manuel V. Hermenegildo and
                  S. Doaitse Swierstra},
  title        = {Approximating Constraint Logic Programs Using Polymorphic Types and
                  Regular Descriptions},
  booktitle    = {Programming Languages: Implementations, Logics and Programs, 7th International
                  Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {982},
  pages        = {461--462},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0026840},
  doi          = {10.1007/BFB0026840},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plilp/SaglamG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/GallagherBS95,
  author       = {John P. Gallagher and
                  Dmitri Boulanger and
                  H{\"{u}}seyin Saglam},
  editor       = {John W. Lloyd},
  title        = {Practical Model-Based Static Analysis for Definite Logic Programs},
  booktitle    = {Logic Programming, Proceedings of the 1995 International Symposium,
                  Portland, Oregon, USA, December 4-7, 1995},
  pages        = {351--365},
  publisher    = {{MIT} Press},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300177},
  timestamp    = {Wed, 11 Aug 2021 17:02:32 +0200},
  biburl       = {https://dblp.org/rec/conf/slp/GallagherBS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WaalG94,
  author       = {D. Andre de Waal and
                  John P. Gallagher},
  editor       = {Alan Bundy},
  title        = {The Applicability of Logic Program Analysis and Transformation to
                  Theorem Proving},
  booktitle    = {Automated Deduction - CADE-12, 12th International Conference on Automated
                  Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {814},
  pages        = {207--221},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58156-1\_15},
  doi          = {10.1007/3-540-58156-1\_15},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/WaalG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GallagherW94,
  author       = {John P. Gallagher and
                  D. Andre de Waal},
  editor       = {Pascal Van Hentenryck},
  title        = {Fast and Precise Regular Approximations of Logic Programs},
  booktitle    = {Logic Programming, Proceedings of the Eleventh International Conference
                  on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
  pages        = {599--613},
  publisher    = {{MIT} Press},
  year         = {1994},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/GallagherW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CookG94,
  author       = {J. Cook and
                  John P. Gallagher},
  editor       = {Laurent Fribourg and
                  Franco Turini},
  title        = {A Transformation System for Definite Programs Based on Termination
                  Analysis},
  booktitle    = {Logic Programming Synthesis and Transformation - Meta-Programming
                  in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
                  Italy, June 20-21, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {883},
  pages        = {51--68},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58792-6\_4},
  doi          = {10.1007/3-540-58792-6\_4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/CookG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MarakakisG94,
  author       = {Emmanuil I. Marakakis and
                  John P. Gallagher},
  editor       = {Laurent Fribourg and
                  Franco Turini},
  title        = {Schema-Based Top-Down Design of Logic Programs Using Abstract Data
                  Types},
  booktitle    = {Logic Programming Synthesis and Transformation - Meta-Programming
                  in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
                  Italy, June 20-21, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {883},
  pages        = {138--153},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58792-6\_9},
  doi          = {10.1007/3-540-58792-6\_9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/MarakakisG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Gallagher93,
  author       = {John P. Gallagher},
  editor       = {David A. Schmidt},
  title        = {Tutorial on Specialisation of Logic Programs},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
                  and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark,
                  June 14-16, 1993},
  pages        = {88--98},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/154630.154640},
  doi          = {10.1145/154630.154640},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/Gallagher93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/WaalG93,
  author       = {D. Andre de Waal and
                  John P. Gallagher},
  editor       = {Dale Miller},
  title        = {Logic Program Specialisation With Deletion of Useless Clauses},
  booktitle    = {Logic Programming, Proceedings of the 1993 International Symposium,
                  Vancouver, British Columbia, Canada, October 26-29, 1993},
  pages        = {632},
  publisher    = {{MIT} Press},
  year         = {1993},
  timestamp    = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/WaalG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GallagherW92,
  author       = {John P. Gallagher and
                  D. Andre de Waal},
  editor       = {Kung{-}Kiu Lau and
                  Tim Clement},
  title        = {Deletion of Redundant Unary Type Predicates from Logic Programs},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  92, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 2-3 July 1992},
  series       = {Workshops in Computing},
  pages        = {151--167},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3560-9\_11},
  doi          = {10.1007/978-1-4471-3560-9\_11},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/GallagherW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Gallagher92,
  author       = {John P. Gallagher},
  editor       = {Michel Billaud and
                  Pierre Cast{\'{e}}ran and
                  Marc{-}Michel Corsini and
                  Kaninda Musumbu and
                  Antoine Rauzy},
  title        = {Static Analysis for Logic Program Specification},
  booktitle    = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
                  1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
                  Proceedings},
  series       = {Series Bigre},
  volume       = {81-82},
  pages        = {285--294},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1992},
  timestamp    = {Thu, 12 Jul 2018 08:27:45 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Gallagher92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/GallagherB91,
  author       = {John P. Gallagher and
                  Maurice Bruynooghe},
  title        = {The Derivation of an Algorithm for Program Specialisation},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {305--334},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037167},
  doi          = {10.1007/BF03037167},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ngc/GallagherB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/WaalG91,
  author       = {D. Andre de Waal and
                  John P. Gallagher},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Specialisation of a Unification Algorithm},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {205--220},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_15},
  doi          = {10.1007/978-1-4471-3494-7\_15},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/WaalG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GallagherB90,
  author       = {John P. Gallagher and
                  Maurice Bruynooghe},
  editor       = {David H. D. Warren and
                  P{\'{e}}ter Szeredi},
  title        = {The Derivation of an Algorithm for Program Specialisation},
  booktitle    = {Logic Programming, Proceedings of the Seventh International Conference,
                  Jerusalem, Israel, June 18-20, 1990},
  pages        = {732--746},
  publisher    = {{MIT} Press},
  year         = {1990},
  timestamp    = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/GallagherB90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/GallagherCS88,
  author       = {John P. Gallagher and
                  Michael Codish and
                  Ehud Shapiro},
  title        = {Specialisation of Prolog and {FCP} Programs Using Abstract Interpretation},
  journal      = {New Gener. Comput.},
  volume       = {6},
  number       = {2{\&}3},
  pages        = {159--186},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF03037136},
  doi          = {10.1007/BF03037136},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/GallagherCS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/CodishGS88,
  author       = {Michael Codish and
                  John P. Gallagher and
                  Ehud Shapiro},
  editor       = {Harvey Abramson and
                  M. H. Rogers},
  title        = {Using Safe Approximations of Fixed Points for Analysis of Logic Programs},
  booktitle    = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
                  in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
  pages        = {233--261},
  publisher    = {{MIT} Press},
  year         = {1988},
  timestamp    = {Tue, 30 Jul 2019 17:09:12 +0200},
  biburl       = {https://dblp.org/rec/conf/meta/CodishGS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Gallagher86,
  author       = {John P. Gallagher},
  editor       = {Benedict du Boulay and
                  David C. Hogg and
                  Luc Steels},
  title        = {Transforming Logic Programs by Specialising Interpreters},
  booktitle    = {Advances in Artificial Intelligence II, Seventh European Conference
                  on Artificial Intelligence, {ECAI} 1986, Brighton, UK, July 20-25,
                  1986, Proceedings},
  pages        = {313--326},
  publisher    = {North-Holland},
  year         = {1986},
  timestamp    = {Tue, 30 Jul 2019 08:58:44 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Gallagher86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics