Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs320.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2005-06659,
  author       = {Fabian Zaiser and
                  C.{-}H. Luke Ong},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {The Extended Theory of Trees and Algebraic (Co)datatypes},
  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        = {167--196},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.14},
  doi          = {10.4204/EPTCS.320.14},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-06659.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2008-02927,
  author       = {Alberto Pettorossi},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {A Historical Account of My Early Research Interests},
  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        = {1--28},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.1},
  doi          = {10.4204/EPTCS.320.1},
  timestamp    = {Mon, 21 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02927.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2008-02929,
  author       = {Alain Finkel},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {From Well Structured Transition Systems to Program Verification},
  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        = {44--49},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.3},
  doi          = {10.4204/EPTCS.320.3},
  timestamp    = {Mon, 21 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02929.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    = {Fri, 23 Apr 2021 01:00:00 +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-02932,
  author       = {Neil D. Jones and
                  Siddharth Bhaskar and
                  Cynthia Kop and
                  Jakob Grue Simonsen},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {Cons-free Programs and Complexity Classes between {LOGSPACE} and {PTIME}},
  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        = {65--79},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.5},
  doi          = {10.4204/EPTCS.320.5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02932.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2008-02933,
  author       = {Michael Leuschel},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {Prolog for Verification, Analysis and Transformation Tools},
  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        = {80--94},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.6},
  doi          = {10.4204/EPTCS.320.6},
  timestamp    = {Mon, 21 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02933.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2008-02934,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Maurizio Proietti},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {Transformational Verification of Quicksort},
  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        = {95--109},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.7},
  doi          = {10.4204/EPTCS.320.7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02934.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2008-02935,
  author       = {Horatiu Cirstea and
                  Alexis Grall and
                  Dominique M{\'{e}}ry},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {Generating Distributed Programs from Event-B Models},
  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        = {110--124},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.8},
  doi          = {10.4204/EPTCS.320.8},
  timestamp    = {Mon, 21 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02935.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2008-02936,
  author       = {Geoff W. Hamilton},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {Distilling Programs to Prove Termination},
  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        = {140--154},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.10},
  doi          = {10.4204/EPTCS.320.10},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02936.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}
}

@inproceedings{DBLP:journals/corr/abs-2008-02939,
  author       = {Philipp R{\"{u}}mmer},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {Competition Report: {CHC-COMP-20}},
  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        = {197--219},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.15},
  doi          = {10.4204/EPTCS.320.15},
  timestamp    = {Mon, 21 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02939.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2008-04667,
  author       = {Lorenzo Clemente},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {On the Complexity of the Universality and Inclusion Problems for Unambiguous
                  Context-Free Grammars},
  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        = {29--43},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.2},
  doi          = {10.4204/EPTCS.320.2},
  timestamp    = {Mon, 21 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-04667.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2008-04669,
  author       = {Dimitur Nikolaev Krustev},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {Optimizing Program Size Using Multi-result Supercompilation},
  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        = {125--139},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.9},
  doi          = {10.4204/EPTCS.320.9},
  timestamp    = {Mon, 21 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-04669.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2008-02483,
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {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},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320},
  doi          = {10.4204/EPTCS.320},
  timestamp    = {Mon, 26 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02483.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.