Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/lopstr/2010,
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20551-4},
  doi          = {10.1007/978-3-642-20551-4},
  isbn         = {978-3-642-20550-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/AlbertGRP10,
  author       = {Elvira Albert and
                  Miguel G{\'{o}}mez{-}Zamalloa and
                  Jos{\'{e}} Miguel Rojas and
                  Germ{\'{a}}n Puebla},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {Compositional CLP-Based Test Data Generation for Imperative Languages},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {99--116},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_7},
  doi          = {10.1007/978-3-642-20551-4\_7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/AlbertGRP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/BacciC10,
  author       = {Giovanni Bacci and
                  Marco Comini},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {Abstract Diagnosis of First Order Functional Logic Programs},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {215--233},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_14},
  doi          = {10.1007/978-3-642-20551-4\_14},
  timestamp    = {Tue, 22 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/BacciC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/CalvesF10,
  author       = {Christophe Calv{\`{e}}s and
                  Maribel Fern{\'{a}}ndez},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {The First-Order Nominal Link},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {234--248},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_15},
  doi          = {10.1007/978-3-642-20551-4\_15},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/CalvesF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/DanvyZ10,
  author       = {Olivier Danvy and
                  Ian Zerny},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {Three Syntactic Theories for Combinatory Graph Reduction},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_1},
  doi          = {10.1007/978-3-642-20551-4\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/DanvyZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/FioravantiPPS10,
  author       = {Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti and
                  Valerio Senni},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {Program Specialization for Verifying Infinite State Systems: An Experimental
                  Evaluation},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {164--183},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_11},
  doi          = {10.1007/978-3-642-20551-4\_11},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/FioravantiPPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/GiorginoSMP10,
  author       = {Mathieu Giorgino and
                  Martin Strecker and
                  Ralph Matthes and
                  Marc Pantel},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {Verification of the Schorr-Waite Algorithm - From Trees to Graphs},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {67--83},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_5},
  doi          = {10.1007/978-3-642-20551-4\_5},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/GiorginoSMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/HerasPR10,
  author       = {J{\'{o}}nathan Heras and
                  Vico Pascual and
                  Julio Rubio},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {Proving with {ACL2} the Correctness of Simplicial Sets in the Kenzo
                  System},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {37--51},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_3},
  doi          = {10.1007/978-3-642-20551-4\_3},
  timestamp    = {Tue, 17 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/HerasPR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/InsaS10,
  author       = {David Insa and
                  Josep Silva},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {Scaling Up Algorithmic Debugging with Virtual Execution Trees},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {149--163},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_10},
  doi          = {10.1007/978-3-642-20551-4\_10},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/InsaS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/LlorensOST10,
  author       = {Marisa Llorens and
                  Javier Oliver and
                  Josep Silva and
                  Salvador Tamarit},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {Graph Generation to Statically Represent {CSP} Processes},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {52--66},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_4},
  doi          = {10.1007/978-3-642-20551-4\_4},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/LlorensOST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/SakuraiA10,
  author       = {Kanako Sakurai and
                  Kenichi Asai},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {MikiBeta : {A} General {GUI} Library for Visualizing Proof Trees -
                  System Description and Demonstration},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {84--98},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_6},
  doi          = {10.1007/978-3-642-20551-4\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/SakuraiA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/SchumannCL10,
  author       = {Johann Schumann and
                  Karen Cate and
                  Alan Lee},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {Analysis of Air Traffic Track Data with the AutoBayes Synthesis System},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {21--36},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_2},
  doi          = {10.1007/978-3-642-20551-4\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/SchumannCL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Seki10,
  author       = {Hirohisa Seki},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {On Inductive Proofs by Extended Unfold/Fold Transformation Rules},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {117--132},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_8},
  doi          = {10.1007/978-3-642-20551-4\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Seki10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/StroderSG10,
  author       = {Thomas Str{\"{o}}der and
                  Peter Schneider{-}Kamp and
                  J{\"{u}}rgen Giesl},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {Dependency Triples for Improving Termination Analysis of Logic Programs
                  with Cut},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {184--199},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_12},
  doi          = {10.1007/978-3-642-20551-4\_12},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/StroderSG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Vidal10,
  author       = {Germ{\'{a}}n Vidal},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {200--214},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_13},
  doi          = {10.1007/978-3-642-20551-4\_13},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Vidal10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/VoetsS10,
  author       = {Dean Voets and
                  Danny De Schreye},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {Non-termination Analysis of Logic Programs Using Types},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 20th International
                  Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6564},
  pages        = {133--148},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-20551-4\_9},
  doi          = {10.1007/978-3-642-20551-4\_9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/VoetsS10.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.