Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: John P. Gallagher
@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} }
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.