Search dblp for Publications

export results for "toc:db/conf/lopstr/lopstr2018.bht:"

 download as .bib file

@proceedings{DBLP:conf/lopstr/2018,
  editor       = {Fred Mesnard and
                  Peter J. Stuckey},
  title        = {Logic-Based Program Synthesis and Transformation - 28th International
                  Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
                  2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11408},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-13838-7},
  doi          = {10.1007/978-3-030-13838-7},
  isbn         = {978-3-030-13837-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/0001K18,
  author       = {Henning Christiansen and
                  Maja H. Kirkeby},
  editor       = {Fred Mesnard and
                  Peter J. Stuckey},
  title        = {Confluence of {CHR} Revisited: Invariants and Modulo Equivalence},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 28th International
                  Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
                  2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11408},
  pages        = {94--111},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-13838-7\_6},
  doi          = {10.1007/978-3-030-13838-7\_6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/0001K18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/AlpuenteCEM18,
  author       = {Mar{\'{\i}}a Alpuente and
                  Angel Cuenca{-}Ortega and
                  Santiago Escobar and
                  Jos{\'{e}} Meseguer},
  editor       = {Fred Mesnard and
                  Peter J. Stuckey},
  title        = {Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity
                  Axioms},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 28th International
                  Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
                  2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11408},
  pages        = {38--55},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-13838-7\_3},
  doi          = {10.1007/978-3-030-13838-7\_3},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AlpuenteCEM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/CarboneCMM18,
  author       = {Marco Carbone and
                  Lu{\'{\i}}s Cruz{-}Filipe and
                  Fabrizio Montesi and
                  Agata Murawska},
  editor       = {Fred Mesnard and
                  Peter J. Stuckey},
  title        = {Multiparty Classical Choreographies},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 28th International
                  Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
                  2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11408},
  pages        = {59--76},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-13838-7\_4},
  doi          = {10.1007/978-3-030-13838-7\_4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/CarboneCMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/FalaschiO18,
  author       = {Moreno Falaschi and
                  Carlos Olarte},
  editor       = {Fred Mesnard and
                  Peter J. Stuckey},
  title        = {An Assertion Language for Slicing Constraint Logic Languages},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 28th International
                  Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
                  2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11408},
  pages        = {148--165},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-13838-7\_9},
  doi          = {10.1007/978-3-030-13838-7\_9},
  timestamp    = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/FalaschiO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Garcia-Contreras18,
  author       = {Isabel Garcia{-}Contreras and
                  Jos{\'{e}} F. Morales and
                  Manuel V. Hermenegildo},
  editor       = {Fred Mesnard and
                  Peter J. Stuckey},
  title        = {Multivariant Assertion-Based Guidance in Abstract Interpretation},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 28th International
                  Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
                  2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11408},
  pages        = {184--201},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-13838-7\_11},
  doi          = {10.1007/978-3-030-13838-7\_11},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Garcia-Contreras18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Lucas18,
  author       = {Salvador Lucas},
  editor       = {Fred Mesnard and
                  Peter J. Stuckey},
  title        = {Proving Program Properties as First-Order Satisfiability},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 28th International
                  Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
                  2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11408},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-13838-7\_1},
  doi          = {10.1007/978-3-030-13838-7\_1},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/Lucas18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/NysS18,
  author       = {Vincent Nys and
                  Danny De Schreye},
  editor       = {Fred Mesnard and
                  Peter J. Stuckey},
  title        = {Compiling Control as Offline Partial Deduction},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 28th International
                  Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
                  2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11408},
  pages        = {115--131},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-13838-7\_7},
  doi          = {10.1007/978-3-030-13838-7\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/NysS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/PapapanagiotouF18,
  author       = {Petros Papapanagiotou and
                  Jacques D. Fleuriot},
  editor       = {Fred Mesnard and
                  Peter J. Stuckey},
  title        = {A Pragmatic, Scalable Approach to Correct-by-Construction Process
                  Composition Using Classical Linear Logic Inference},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 28th International
                  Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
                  2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11408},
  pages        = {77--93},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-13838-7\_5},
  doi          = {10.1007/978-3-030-13838-7\_5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/PapapanagiotouF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Payet18,
  author       = {{\'{E}}tienne Payet},
  editor       = {Fred Mesnard and
                  Peter J. Stuckey},
  title        = {Guided Unfoldings for Finding Loops in Standard Term Rewriting},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 28th International
                  Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
                  2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11408},
  pages        = {22--37},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-13838-7\_2},
  doi          = {10.1007/978-3-030-13838-7\_2},
  timestamp    = {Thu, 21 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/Payet18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/TitoloMFM18,
  author       = {Laura Titolo and
                  C{\'{e}}sar A. Mu{\~{n}}oz and
                  Marco A. Feli{\'{u}} and
                  Mariano M. Moscato},
  editor       = {Fred Mesnard and
                  Peter J. Stuckey},
  title        = {Eliminating Unstable Tests in Floating-Point Programs},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 28th International
                  Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
                  2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11408},
  pages        = {169--183},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-13838-7\_10},
  doi          = {10.1007/978-3-030-13838-7\_10},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/TitoloMFM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/TroumpoukisC18,
  author       = {Antonis Troumpoukis and
                  Angelos Charalambidis},
  editor       = {Fred Mesnard and
                  Peter J. Stuckey},
  title        = {Predicate Specialization for Definitional Higher-Order Logic Programs},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 28th International
                  Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
                  2018, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11408},
  pages        = {132--147},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-13838-7\_8},
  doi          = {10.1007/978-3-030-13838-7\_8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/TroumpoukisC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.