BibTeX records: John P. Gallagher

download as .bib file

@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   = {Computer Languages, Systems {\&} Structures},
  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 = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/cl/KafleG17},
  bibsource = {dblp computer science bibliography, http://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, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/scp/KafleG17},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1708.07854},
  timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1708-07854},
  bibsource = {dblp computer science bibliography, http://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   = {Microprocessors and Microsystems - Embedded Hardware Design},
  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, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/mam/EderGLMBGHHKKKK16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/KafleGM16,
  author    = {Bishoksan Kafle and
               John P. Gallagher and
               Jos{\'{e}} F. Morales},
  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}},
  pages     = {261--268},
  year      = {2016},
  crossref  = {DBLP:conf/cav/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-41528-4_14},
  doi       = {10.1007/978-3-319-41528-4_14},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/KafleGM16},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {163--180},
  year      = {2016},
  crossref  = {DBLP:conf/flops/2016},
  url       = {https://doi.org/10.1007/978-3-319-29604-3_11},
  doi       = {10.1007/978-3-319-29604-3_11},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/flops/HaemmerleLLKGH16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/0002G16,
  author    = {Xueliang Li and
               John P. Gallagher},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/mobiquitous/2016},
  url       = {http://doi.acm.org/10.1145/2994374.2994394},
  doi       = {10.1145/2994374.2994394},
  timestamp = {Thu, 05 Jan 2017 12:36:03 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mobiquitous/0002G16},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2016},
  crossref  = {DBLP:conf/scam/2016},
  url       = {https://doi.org/10.1109/SCAM.2016.12},
  doi       = {10.1109/SCAM.2016.12},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/scam/0002G16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleGG16,
  author    = {Bishoksan Kafle and
               John P. Gallagher and
               Pierre Ganty},
  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.},
  pages     = {33--48},
  year      = {2016},
  crossref  = {DBLP:journals/corr/GallagherR16},
  url       = {https://doi.org/10.4204/EPTCS.219.4},
  doi       = {10.4204/EPTCS.219.4},
  timestamp = {Wed, 03 May 2017 14:47:57 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KafleGG16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleG16,
  author    = {Bishoksan Kafle and
               John P. Gallagher},
  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.},
  pages     = {104--117},
  year      = {2016},
  crossref  = {DBLP:journals/corr/HamiltonLN16},
  url       = {https://doi.org/10.4204/EPTCS.216.6},
  doi       = {10.4204/EPTCS.216.6},
  timestamp = {Wed, 03 May 2017 14:47:57 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KafleG16},
  bibsource = {dblp computer science bibliography, http://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 = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/GallagherR16},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1605.05234},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/0002G16a},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1606.04074},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/EderGLMBGHHKKKK16},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1608.05248},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/0002G16b},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {81--100},
  year      = {2015},
  crossref  = {DBLP:conf/fopara/2015},
  url       = {https://doi.org/10.1007/978-3-319-46559-3_5},
  doi       = {10.1007/978-3-319-46559-3_5},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fopara/LiqatGK0GHE15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pepm/KafleG15,
  author    = {Bishoksan Kafle and
               John P. Gallagher},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/pepm/2015},
  url       = {http://doi.acm.org/10.1145/2678015.2682544},
  doi       = {10.1145/2678015.2682544},
  timestamp = {Tue, 18 Jul 2017 14:13:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/KafleG15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KafleG15,
  author    = {Bishoksan Kafle and
               John P. Gallagher},
  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},
  pages     = {209--226},
  year      = {2015},
  crossref  = {DBLP:conf/vmcai/2015},
  url       = {https://doi.org/10.1007/978-3-662-46081-8_12},
  doi       = {10.1007/978-3-662-46081-8_12},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/KafleG15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleGG15,
  author    = {Bishoksan Kafle and
               John P. Gallagher and
               Pierre Ganty},
  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.},
  pages     = {1--14},
  year      = {2015},
  crossref  = {DBLP:journals/corr/LisitsaNP15},
  url       = {https://doi.org/10.4204/EPTCS.199.1},
  doi       = {10.4204/EPTCS.199.1},
  timestamp = {Wed, 03 May 2017 14:47:58 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KafleGG15},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1510.04165},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/LiG15},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1511.01413},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/LiqatGKLGHE15},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1511.03595},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/GallagherAK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/KafleG14,
  author    = {Bishoksan Kafle and
               John P. Gallagher},
  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.},
  pages     = {53--67},
  year      = {2014},
  crossref  = {DBLP:journals/corr/BjornerFRS14},
  url       = {https://doi.org/10.4204/EPTCS.169.7},
  doi       = {10.4204/EPTCS.169.7},
  timestamp = {Wed, 03 May 2017 14:47:56 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/KafleG14},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1405.3883},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/GallagherK14},
  bibsource = {dblp computer science bibliography, http://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   = {{TPLP}},
  volume    = {11},
  number    = {4-5},
  pages     = {429--432},
  year      = {2011},
  url       = {https://doi.org/10.1017/S1471068411000342},
  doi       = {10.1017/S1471068411000342},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tplp/GallagherG11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GallagherG11,
  author    = {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}},
  year      = {2011},
  crossref  = {DBLP:conf/iclp/2011},
  url       = {https://doi.org/10.4230/LIPIcs.ICLP.2011.i},
  doi       = {10.4230/LIPIcs.ICLP.2011.i},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/GallagherG11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Gallagher11,
  author    = {John P. Gallagher},
  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},
  pages     = {1--3},
  year      = {2011},
  crossref  = {DBLP:conf/lopstr/2011},
  url       = {https://doi.org/10.1007/978-3-642-32211-2_1},
  doi       = {10.1007/978-3-642-32211-2_1},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/Gallagher11},
  bibsource = {dblp computer science bibliography, http://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 fuer Informatik},
  year      = {2011},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11006},
  isbn      = {978-3-939897-31-6},
  timestamp = {Tue, 26 Feb 2013 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/lisp/GallagherV10,
  author    = {John P. Gallagher and
               Janis Voigtl{\"{a}}nder},
  title     = {Editorial},
  journal   = {Higher-Order and Symbolic Computation},
  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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/lisp/GallagherV10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BandaG10,
  author    = {Gourinath Banda and
               John P. Gallagher},
  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},
  pages     = {27--45},
  year      = {2010},
  crossref  = {DBLP:conf/lpar/2010d},
  url       = {https://doi.org/10.1007/978-3-642-17511-4_3},
  doi       = {10.1007/978-3-642-17511-4_3},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/BandaG10},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/pepm/2010},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {1002.4535},
  timestamp = {Thu, 31 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1002-4535},
  bibsource = {dblp computer science bibliography, http://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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ipl/AlbertGGP09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChristiansenG09,
  author    = {Henning Christiansen and
               John P. Gallagher},
  title     = {Non-discriminating Arguments and Their Uses},
  booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
               CA, USA, July 14-17, 2009. Proceedings},
  pages     = {55--69},
  year      = {2009},
  crossref  = {DBLP:conf/iclp/2009},
  url       = {https://doi.org/10.1007/978-3-642-02846-5_10},
  doi       = {10.1007/978-3-642-02846-5_10},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/ChristiansenG09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BandaG08,
  author    = {Gourinath Banda and
               John P. Gallagher},
  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},
  pages     = {55--70},
  year      = {2008},
  crossref  = {DBLP:conf/lopstr/2008},
  url       = {https://doi.org/10.1007/978-3-642-00515-2_5},
  doi       = {10.1007/978-3-642-00515-2_5},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/BandaG08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SchrijversBG08,
  author    = {Tom Schrijvers and
               Maurice Bruynooghe and
               John P. Gallagher},
  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},
  pages     = {152--167},
  year      = {2008},
  crossref  = {DBLP:conf/lopstr/2008},
  url       = {https://doi.org/10.1007/978-3-642-00515-2_11},
  doi       = {10.1007/978-3-642-00515-2_11},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/SchrijversBG08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GallagherR08,
  author    = {John P. Gallagher and
               Mads Rosendahl},
  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},
  pages     = {682--696},
  year      = {2008},
  crossref  = {DBLP:conf/lpar/2008},
  url       = {https://doi.org/10.1007/978-3-540-89439-1_47},
  doi       = {10.1007/978-3-540-89439-1_47},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/GallagherR08},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/1216374.1216378},
  doi       = {10.1145/1216374.1216378},
  timestamp = {Fri, 06 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/toplas/BruynoogheCGGV07},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  pages     = {23--42},
  year      = {2007},
  crossref  = {DBLP:conf/lopstr/2007},
  url       = {https://doi.org/10.1007/978-3-540-78769-3_3},
  doi       = {10.1007/978-3-540-78769-3_3},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/AlbertGGP07},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {0712.2737},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-0712-2737},
  bibsource = {dblp computer science bibliography, http://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},
  archivePrefix = {arXiv},
  eprint    = {cs/0701110},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-cs-0701110},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2006},
  crossref  = {DBLP:conf/scam/2006},
  url       = {https://doi.org/10.1109/SCAM.2006.1},
  doi       = {10.1109/SCAM.2006.1},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/scam/HenriksenG06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GallagherHB05,
  author    = {John P. Gallagher and
               Kim S. Henriksen and
               Gourinath Banda},
  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},
  pages     = {280--296},
  year      = {2005},
  crossref  = {DBLP:conf/iclp/2005},
  url       = {https://doi.org/10.1007/11562931_22},
  doi       = {10.1007/11562931_22},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/GallagherHB05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertPG05,
  author    = {Elvira Albert and
               Germ{\'{a}}n Puebla and
               John P. Gallagher},
  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},
  pages     = {115--132},
  year      = {2005},
  crossref  = {DBLP:conf/lopstr/2005},
  url       = {https://doi.org/10.1007/11680093_8},
  doi       = {10.1007/11680093_8},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/AlbertPG05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GallagherPA05,
  author    = {John P. Gallagher and
               Germ{\'{a}}n Puebla and
               Elvira Albert},
  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},
  pages     = {147--162},
  year      = {2005},
  crossref  = {DBLP:conf/lopstr/2005},
  url       = {https://doi.org/10.1007/11680093_10},
  doi       = {10.1007/11680093_10},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/GallagherPA05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sas/BruynoogheGH05,
  author    = {Maurice Bruynooghe and
               John P. Gallagher and
               Wouter Van Humbeeck},
  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},
  pages     = {35--51},
  year      = {2005},
  crossref  = {DBLP:conf/sas/2005},
  url       = {https://doi.org/10.1007/11547662_5},
  doi       = {10.1007/11547662_5},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/BruynoogheGH05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GallagherH04,
  author    = {John P. Gallagher and
               Kim S. Henriksen},
  title     = {Abstract Domains Based on Regular Types},
  booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
               France, September 6-10, 2004, Proceedings},
  pages     = {27--42},
  year      = {2004},
  crossref  = {DBLP:conf/iclp/2004},
  url       = {https://doi.org/10.1007/978-3-540-27775-0_3},
  doi       = {10.1007/978-3-540-27775-0_3},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/GallagherH04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CraigGLH04,
  author    = {Stephen{-}John Craig and
               John P. Gallagher and
               Michael Leuschel and
               Kim S. Henriksen},
  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},
  pages     = {53--68},
  year      = {2004},
  crossref  = {DBLP:conf/lopstr/2004},
  url       = {https://doi.org/10.1007/11506676_4},
  doi       = {10.1007/11506676_4},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/CraigGLH04},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2004},
  crossref  = {DBLP:conf/smc/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    = {http://dblp.org/rec/bib/conf/smc/HenriksenG04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Gallagher03,
  author    = {John P. Gallagher},
  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},
  pages     = {92--105},
  year      = {2003},
  crossref  = {DBLP:conf/lopstr/2003},
  url       = {https://doi.org/10.1007/978-3-540-25938-1_8},
  doi       = {10.1007/978-3-540-25938-1_8},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/Gallagher03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PeraltaG02,
  author    = {Julio C. Peralta and
               John P. Gallagher},
  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},
  pages     = {90--108},
  year      = {2002},
  crossref  = {DBLP:conf/lopstr/2002},
  url       = {https://doi.org/10.1007/3-540-45013-0_8},
  doi       = {10.1007/3-540-45013-0_8},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/PeraltaG02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/padl/GallagherP02,
  author    = {John P. Gallagher and
               Germ{\'{a}}n Puebla},
  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},
  pages     = {243--261},
  year      = {2002},
  crossref  = {DBLP:conf/padl/2002},
  url       = {https://doi.org/10.1007/3-540-45587-6_16},
  doi       = {10.1007/3-540-45587-6_16},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/padl/GallagherP02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GenaimCGL02,
  author    = {Samir Genaim and
               Michael Codish and
               John P. Gallagher and
               Vitaly Lagoon},
  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},
  pages     = {126--138},
  year      = {2002},
  crossref  = {DBLP:conf/vmcai/2002},
  url       = {https://doi.org/10.1007/3-540-47813-2_9},
  doi       = {10.1007/3-540-47813-2_9},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/GenaimCGL02},
  bibsource = {dblp computer science bibliography, http://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   = {Higher-Order and Symbolic Computation},
  volume    = {14},
  number    = {2-3},
  pages     = {143--172},
  year      = {2001},
  url       = {https://doi.org/10.1023/A:1012936614361},
  doi       = {10.1023/A:1012936614361},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/lisp/GallagherP01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pepm/GallagherP00,
  author    = {John P. Gallagher and
               Julio C. Peralta},
  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},
  year      = {2000},
  crossref  = {DBLP:conf/pepm/2000},
  url       = {http://doi.acm.org/10.1145/328690.328698},
  doi       = {10.1145/328690.328698},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/GallagherP00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PeraltaG99,
  author    = {Julio C. Peralta and
               John P. Gallagher},
  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},
  pages     = {102--117},
  year      = {1999},
  crossref  = {DBLP:conf/lopstr/1999},
  url       = {https://doi.org/10.1007/10720327_7},
  doi       = {10.1007/10720327_7},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/PeraltaG99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pepm/PueblaHG99,
  author    = {Germ{\'{a}}n Puebla and
               Manuel V. Hermenegildo and
               John P. Gallagher},
  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},
  year      = {1999},
  crossref  = {DBLP:conf/pepm/1999},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/PueblaHG99},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/289121.289133},
  doi       = {10.1145/289121.289133},
  timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/csur/GallagherL98},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/289121.289136},
  doi       = {10.1145/289121.289136},
  timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/csur/GallagherL98a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sas/PeraltaGS98,
  author    = {Julio C. Peralta and
               John P. Gallagher and
               H{\"{u}}seyin Saglam},
  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},
  pages     = {246--261},
  year      = {1998},
  crossref  = {DBLP:conf/sas/1998},
  url       = {https://doi.org/10.1007/3-540-49727-7_15},
  doi       = {10.1007/3-540-49727-7_15},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/PeraltaGS98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LafaveG97,
  author    = {Laura Lafave and
               John P. Gallagher},
  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},
  pages     = {168--188},
  year      = {1997},
  crossref  = {DBLP:conf/lopstr/1997},
  url       = {https://doi.org/10.1007/3-540-49674-2_9},
  doi       = {10.1007/3-540-49674-2_9},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/LafaveG97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SaglamG97,
  author    = {H{\"{u}}seyin Saglam and
               John P. Gallagher},
  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},
  pages     = {282--299},
  year      = {1997},
  crossref  = {DBLP:conf/lopstr/1997},
  url       = {https://doi.org/10.1007/3-540-49674-2_15},
  doi       = {10.1007/3-540-49674-2_15},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/SaglamG97},
  bibsource = {dblp computer science bibliography, http://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 = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/1996},
  bibsource = {dblp computer science bibliography, http://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       = {http://dl.acm.org/citation.cfm?id=258993},
  isbn      = {0-89791-917-3},
  timestamp = {Tue, 22 May 2012 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GallagherL96,
  author    = {John P. Gallagher and
               Laura Lafave},
  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},
  pages     = {115--136},
  year      = {1996},
  crossref  = {DBLP:conf/dagstuhl/1996pe},
  url       = {https://doi.org/10.1007/3-540-61580-6_7},
  doi       = {10.1007/3-540-61580-6_7},
  timestamp = {Sat, 16 Sep 2017 12:10:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dagstuhl/GallagherL96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MartensG95,
  author    = {Bern Martens and
               John P. Gallagher},
  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},
  year      = {1995},
  crossref  = {DBLP:conf/iclp/1995},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/MartensG95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/plilp/SaglamG95,
  author    = {H{\"{u}}seyin Saglam and
               John P. Gallagher},
  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},
  pages     = {461--462},
  year      = {1995},
  crossref  = {DBLP:conf/plilp/95},
  url       = {https://doi.org/10.1007/BFb0026840},
  doi       = {10.1007/BFb0026840},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/plilp/SaglamG95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/slp/GallagherBS95,
  author    = {John P. Gallagher and
               Dmitri Boulanger and
               H{\"{u}}seyin Saglam},
  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},
  year      = {1995},
  crossref  = {DBLP:conf/slp/1995},
  url       = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300177},
  timestamp = {Thu, 17 Aug 2017 12:56:40 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/slp/GallagherBS95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cade/WaalG94,
  author    = {D. Andre de Waal and
               John P. Gallagher},
  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},
  pages     = {207--221},
  year      = {1994},
  crossref  = {DBLP:conf/cade/1994},
  url       = {https://doi.org/10.1007/3-540-58156-1_15},
  doi       = {10.1007/3-540-58156-1_15},
  timestamp = {Sat, 20 May 2017 15:32:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cade/WaalG94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GallagherW94,
  author    = {John P. Gallagher and
               D. Andre de Waal},
  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},
  year      = {1994},
  crossref  = {DBLP:conf/iclp/1994},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/GallagherW94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CookG94,
  author    = {J. Cook and
               John P. Gallagher},
  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},
  pages     = {51--68},
  year      = {1994},
  crossref  = {DBLP:conf/lopstr/1994},
  url       = {https://doi.org/10.1007/3-540-58792-6_4},
  doi       = {10.1007/3-540-58792-6_4},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/CookG94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MarakakisG94,
  author    = {Emmanuil I. Marakakis and
               John P. Gallagher},
  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},
  pages     = {138--153},
  year      = {1994},
  crossref  = {DBLP:conf/lopstr/1994},
  url       = {https://doi.org/10.1007/3-540-58792-6_9},
  doi       = {10.1007/3-540-58792-6_9},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/MarakakisG94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Gallagher93,
  author    = {John P. Gallagher},
  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},
  year      = {1993},
  crossref  = {DBLP:conf/pepm/1993},
  url       = {http://doi.acm.org/10.1145/154630.154640},
  doi       = {10.1145/154630.154640},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/Gallagher93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/slp/WaalG93,
  author    = {D. Andre de Waal and
               John P. Gallagher},
  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},
  year      = {1993},
  crossref  = {DBLP:conf/slp/1993},
  timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/slp/WaalG93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GallagherW92,
  author    = {John P. Gallagher and
               D. Andre de Waal},
  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, 2-3 July 1992},
  pages     = {151--167},
  year      = {1992},
  crossref  = {DBLP:conf/lopstr/1992},
  timestamp = {Mon, 10 Feb 2014 17:44:03 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/GallagherW92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sas/Gallagher92,
  author    = {John P. Gallagher},
  title     = {Static Analysis for Logic Program Specification},
  booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux), September 1992,
               Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings},
  pages     = {285--294},
  year      = {1992},
  crossref  = {DBLP:conf/sas/1992},
  timestamp = {Wed, 02 Sep 2015 09:01:51 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/Gallagher92},
  bibsource = {dblp computer science bibliography, http://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 Generation Comput.},
  volume    = {9},
  number    = {3/4},
  pages     = {305--334},
  year      = {1991},
  url       = {https://doi.org/10.1007/BF03037167},
  doi       = {10.1007/BF03037167},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ngc/GallagherB91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/WaalG91,
  author    = {D. Andre de Waal and
               John P. Gallagher},
  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, 4-5 July 1991},
  pages     = {205--220},
  year      = {1991},
  crossref  = {DBLP:conf/lopstr/1991},
  timestamp = {Mon, 10 Feb 2014 17:44:03 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/WaalG91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GallagherB90,
  author    = {John P. Gallagher and
               Maurice Bruynooghe},
  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},
  year      = {1990},
  crossref  = {DBLP:conf/iclp/1990},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/GallagherB90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ngc/GallagherCS88,
  author    = {John P. Gallagher and
               Michael Codish and
               Ehud Y. Shapiro},
  title     = {Specialisation of Prolog and {FCP} Programs Using Abstract Interpretation},
  journal   = {New Generation Comput.},
  volume    = {6},
  number    = {2{\&}3},
  pages     = {159--186},
  year      = {1988},
  url       = {https://doi.org/10.1007/BF03037136},
  doi       = {10.1007/BF03037136},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ngc/GallagherCS88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/meta/CodishGS88,
  author    = {Michael Codish and
               John P. Gallagher and
               Ehud Y. Shapiro},
  title     = {Using Safe Approximations of Fixed Points for Analysis of Logic Programs},
  booktitle = {{META}},
  pages     = {233--261},
  year      = {1988},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/meta/CodishGS88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Gallagher86,
  author    = {John P. Gallagher},
  title     = {Transforming Logic Programs by Specialising Interpreters},
  booktitle = {{ECAI}},
  pages     = {313--326},
  year      = {1986},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ecai/Gallagher86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2016-1,
  editor    = {Swarat Chaudhuri and
               Azadeh Farzan},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41528-4},
  doi       = {10.1007/978-3-319-41528-4},
  isbn      = {978-3-319-41527-7},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2016-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/flops/2016,
  editor    = {Oleg Kiselyov and
               Andy King},
  title     = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
               2016, Kochi, Japan, March 4-6, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9613},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-29604-3},
  doi       = {10.1007/978-3-319-29604-3},
  isbn      = {978-3-319-29603-6},
  timestamp = {Sun, 21 May 2017 00:19:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/flops/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mobiquitous/2016,
  editor    = {Takahiro Hara and
               Hiroshi Shigeno},
  title     = {Proceedings of the 13th International Conference on Mobile and Ubiquitous
               Systems: Computing, Networking and Services, MobiQuitous 2016, Hiroshima,
               Japan, November 28 - December 1, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2994374},
  doi       = {10.1145/2994374},
  isbn      = {978-1-4503-4750-1},
  timestamp = {Thu, 05 Jan 2017 12:36:03 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mobiquitous/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/scam/2016,
  title     = {16th {IEEE} International Working Conference on Source Code Analysis
               and Manipulation, {SCAM} 2016, Raleigh, NC, USA, October 2-3, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7781136},
  isbn      = {978-1-5090-3848-0},
  timestamp = {Tue, 20 Dec 2016 14:36:40 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/scam/2016},
  bibsource = {dblp computer science bibliography, http://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 = {Wed, 03 May 2017 14:47:57 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/GallagherR16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/HamiltonLN16,
  editor    = {Geoff W. Hamilton and
               Alexei Lisitsa and
               Andrei P. Nemytykh},
  title     = {Proceedings of the Fourth International Workshop on Verification and
               Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
               2nd April 2016},
  series    = {{EPTCS}},
  volume    = {216},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.216},
  doi       = {10.4204/EPTCS.216},
  timestamp = {Wed, 03 May 2017 14:47:57 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/HamiltonLN16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fopara/2015,
  editor    = {Marko C. J. D. van Eekelen and
               Ugo Dal Lago},
  title     = {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},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-46559-3},
  doi       = {10.1007/978-3-319-46559-3},
  isbn      = {978-3-319-46558-6},
  timestamp = {Sun, 21 May 2017 00:18:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fopara/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pepm/2015,
  editor    = {Kenichi Asai and
               Kostis Sagonas},
  title     = {Proceedings of the 2015 Workshop on Partial Evaluation and Program
               Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2678015},
  isbn      = {978-1-4503-3297-2},
  timestamp = {Tue, 18 Jul 2017 14:13:01 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2015,
  editor    = {Deepak D'Souza and
               Akash Lal and
               Kim Guldstrand Larsen},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-46081-8},
  doi       = {10.1007/978-3-662-46081-8},
  isbn      = {978-3-662-46080-1},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/LisitsaNP15,
  editor    = {Alexei Lisitsa and
               Andrei P. Nemytykh and
               Alberto Pettorossi},
  title     = {Proceedings of the Third International Workshop on Verification and
               Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th
               April 2015},
  series    = {{EPTCS}},
  volume    = {199},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.199},
  doi       = {10.4204/EPTCS.199},
  timestamp = {Wed, 03 May 2017 14:47:58 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/LisitsaNP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/BjornerFRS14,
  editor    = {Nikolaj Bj{\o}rner and
               Fabio Fioravanti and
               Andrey Rybalchenko and
               Valerio Senni},
  title     = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis,
               {HCVS} 2014, Vienna, Austria, 17 July 2014},
  series    = {{EPTCS}},
  volume    = {169},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.169},
  doi       = {10.4204/EPTCS.169},
  timestamp = {Wed, 03 May 2017 14:47:56 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/BjornerFRS14},
  bibsource = {dblp computer science bibliography, http://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 fuer Informatik},
  year      = {2011},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11006},
  isbn      = {978-3-939897-31-6},
  timestamp = {Tue, 26 Feb 2013 10:48:59 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2011,
  editor    = {Germ{\'{a}}n Vidal},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32211-2},
  doi       = {10.1007/978-3-642-32211-2},
  isbn      = {978-3-642-32210-5},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpar/2010d,
  editor    = {Edmund M. Clarke and
               Andrei Voronkov},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17511-4},
  doi       = {10.1007/978-3-642-17511-4},
  isbn      = {978-3-642-17510-7},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/2010d},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/2009,
  editor    = {Patricia M. Hill and
               David Scott Warren},
  title     = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
               CA, USA, July 14-17, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5649},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02846-5},
  doi       = {10.1007/978-3-642-02846-5},
  isbn      = {978-3-642-02845-8},
  timestamp = {Fri, 26 May 2017 00:49:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2008,
  editor    = {Michael Hanus},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00515-2},
  doi       = {10.1007/978-3-642-00515-2},
  isbn      = {978-3-642-00514-5},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lpar/2008,
  editor    = {Iliano Cervesato and
               Helmut Veith and
               Andrei Voronkov},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89439-1},
  doi       = {10.1007/978-3-540-89439-1},
  isbn      = {978-3-540-89438-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2007,
  editor    = {Andy King},
  title     = {Logic-Based Program Synthesis and Transformation, 17th International
               Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4915},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78769-3},
  doi       = {10.1007/978-3-540-78769-3},
  isbn      = {978-3-540-78768-6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/scam/2006,
  title     = {Sixth {IEEE} International Workshop on Source Code Analysis and Manipulation
               {(SCAM} 2006), 27-29 September 2006, Philadelphia, Pennsylvania, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4026839},
  isbn      = {0-7695-2353-6},
  timestamp = {Wed, 15 Apr 2015 18:38:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/scam/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/2005,
  editor    = {Maurizio Gabbrielli and
               Gopal Gupta},
  title     = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
               Spain, October 2-5, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3668},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11562931},
  doi       = {10.1007/11562931},
  isbn      = {3-540-29208-X},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2005,
  editor    = {Patricia M. Hill},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11680093},
  doi       = {10.1007/11680093},
  isbn      = {3-540-32654-5},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sas/2005,
  editor    = {Chris Hankin and
               Igor Siveroni},
  title     = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
               UK, September 7-9, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3672},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11547662},
  doi       = {10.1007/11547662},
  isbn      = {3-540-28584-9},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/2004,
  editor    = {Bart Demoen and
               Vladimir Lifschitz},
  title     = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
               France, September 6-10, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3132},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b99475},
  doi       = {10.1007/b99475},
  isbn      = {3-540-22671-0},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2004,
  editor    = {Sandro Etalle},
  title     = {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},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b137785},
  doi       = {10.1007/b137785},
  isbn      = {3-540-26655-0},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/smc/2004,
  title     = {Proceedings of the {IEEE} International Conference on Systems, Man
               {\&} Cybernetics: The Hague, Netherlands, 10-13 October 2004},
  publisher = {{IEEE}},
  year      = {2004},
  isbn      = {0-7803-8566-7},
  timestamp = {Tue, 05 Mar 2013 10:51:14 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/smc/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2003,
  editor    = {Maurice Bruynooghe},
  title     = {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},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98080},
  doi       = {10.1007/b98080},
  isbn      = {3-540-22174-3},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2002,
  editor    = {Michael Leuschel},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-45013-0},
  doi       = {10.1007/3-540-45013-0},
  isbn      = {3-540-40438-4},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/padl/2002,
  editor    = {Shriram Krishnamurthi and
               C. R. Ramakrishnan},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45587-6},
  doi       = {10.1007/3-540-45587-6},
  isbn      = {3-540-43092-X},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/padl/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2002,
  editor    = {Agostino Cortesi},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-47813-2},
  doi       = {10.1007/3-540-47813-2},
  isbn      = {3-540-43631-6},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pepm/2000,
  editor    = {Julia L. Lawall},
  title     = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
               USA, January 22-23, 2000},
  publisher = {{ACM}},
  year      = {2000},
  url       = {http://dl.acm.org/citation.cfm?id=328690},
  isbn      = {1-58113-201-8},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/1999,
  editor    = {Annalisa Bossi},
  title     = {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},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/10720327},
  doi       = {10.1007/10720327},
  isbn      = {3-540-67628-7},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pepm/1999,
  editor    = {Olivier Danvy},
  title     = {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}},
  publisher = {University of Aarhus},
  year      = {1999},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sas/1998,
  editor    = {Giorgio Levi},
  title     = {Static Analysis, 5th International Symposium, {SAS} '98, Pisa, Italy,
               September 14-16, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1503},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-49727-7},
  doi       = {10.1007/3-540-49727-7},
  isbn      = {3-540-65014-8},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/1997,
  editor    = {Norbert E. Fuchs},
  title     = {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},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-49674-2},
  doi       = {10.1007/3-540-49674-2},
  isbn      = {3-540-65074-1},
  timestamp = {Tue, 23 May 2017 11:53:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/1996pe,
  editor    = {Olivier Danvy and
               Robert Gl{\"{u}}ck and
               Peter Thiemann},
  title     = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
               February 12-16, 1996, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1110},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61580-6},
  doi       = {10.1007/3-540-61580-6},
  isbn      = {3-540-61580-6},
  timestamp = {Sat, 16 Sep 2017 12:10:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dagstuhl/1996pe},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1995,
  editor    = {Leon Sterling},
  title     = {Logic Programming, Proceedings of the Twelfth International Conference
               on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  publisher = {{MIT} Press},
  year      = {1995},
  isbn      = {0-262-69177-9},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/plilp/95,
  editor    = {Manuel V. Hermenegildo and
               S. Doaitse Swierstra},
  title     = {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},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/BFb0026808},
  doi       = {10.1007/BFb0026808},
  isbn      = {3-540-60359-X},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/plilp/95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/slp/1995,
  editor    = {John W. Lloyd},
  title     = {Logic Programming, Proceedings of the 1995 International Symposium,
               Portland, Oregon, USA, December 4-7, 1995},
  publisher = {{MIT} Press},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853},
  isbn      = {0-262-62099-5},
  timestamp = {Thu, 17 Aug 2017 12:56:40 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/slp/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cade/1994,
  editor    = {Alan Bundy},
  title     = {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},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-58156-1},
  doi       = {10.1007/3-540-58156-1},
  isbn      = {3-540-58156-1},
  timestamp = {Sat, 20 May 2017 15:32:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cade/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1994,
  editor    = {Pascal Van Hentenryck},
  title     = {Logic Programming, Proceedings of the Eleventh International Conference
               on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
  publisher = {{MIT} Press},
  year      = {1994},
  isbn      = {0-262-72022-1},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/1994,
  editor    = {Laurent Fribourg and
               Franco Turini},
  title     = {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},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-58792-6},
  doi       = {10.1007/3-540-58792-6},
  isbn      = {3-540-58792-6},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pepm/1993,
  editor    = {David A. Schmidt},
  title     = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
               and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark,
               June 14-16, 1993},
  publisher = {{ACM}},
  year      = {1993},
  url       = {http://dl.acm.org/citation.cfm?id=154630},
  isbn      = {0-89791-594-1},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pepm/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/slp/1993,
  editor    = {Dale Miller},
  title     = {Logic Programming, Proceedings of the 1993 International Symposium,
               Vancouver, British Columbia, Canada, October 26-29, 1993},
  publisher = {{MIT} Press},
  year      = {1993},
  isbn      = {0-262-63152-0},
  timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/slp/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/1992,
  editor    = {Kung{-}Kiu Lau and
               Tim Clement},
  title     = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
               92, International Workshop on Logic Program Synthesis and Transformation,
               University of Manchester, 2-3 July 1992},
  series    = {Workshops in Computing},
  publisher = {Springer},
  year      = {1993},
  isbn      = {3-540-19806-7},
  timestamp = {Mon, 10 Feb 2014 17:44:03 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sas/1992,
  editor    = {Michel Billaud and
               Pierre Cast{\'{e}}ran and
               Marc{-}Michel Corsini and
               Kaninda Musumbu and
               Antoine Rauzy},
  title     = {Actes WSA'92 Workshop on Static Analysis (Bordeaux), September 1992,
               Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings},
  series    = {Series Bigre},
  volume    = {81-82},
  publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year      = {1992},
  timestamp = {Wed, 02 Sep 2015 09:01:51 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sas/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/1991,
  editor    = {Tim Clement and
               Kung{-}Kiu Lau},
  title     = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
               91, International Workshop on Logic Program Synthesis and Transformation,
               University of Manchester, 4-5 July 1991},
  series    = {Workshops in Computing},
  publisher = {Springer},
  year      = {1992},
  isbn      = {3-540-19742-7},
  timestamp = {Mon, 10 Feb 2014 17:44:03 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1990,
  editor    = {David H. D. Warren and
               P{\'{e}}ter Szeredi},
  title     = {Logic Programming, Proceedings of the Seventh International Conference,
               Jerusalem, Israel, June 18-20, 1990},
  publisher = {{MIT} Press},
  year      = {1990},
  isbn      = {0-262-73090-1},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iclp/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier