![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/lopstr/lopstr2004.bht:"
@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, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Ager04, author = {Mads Sig Ager}, editor = {Sandro Etalle}, title = {From Natural Semantics to Abstract Machines}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {245--261}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_16}, doi = {10.1007/11506676\_16}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Ager04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/BossiPR04, author = {Annalisa Bossi and Carla Piazza and Sabina Rossi}, editor = {Sandro Etalle}, title = {Unwinding Conditions for Security in Imperative Languages}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {85--100}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_6}, doi = {10.1007/11506676\_6}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/BossiPR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/BrasselHHSV04, author = {Bernd Brassel and Michael Hanus and Frank Huch and Josep Silva and Germ{\'{a}}n Vidal}, editor = {Sandro Etalle}, title = {Run-Time Profiling of Functional Logic Programs}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {182--197}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_12}, doi = {10.1007/11506676\_12}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/BrasselHHSV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Colon04, author = {Michael Col{\'{o}}n}, editor = {Sandro Etalle}, title = {Schema-Guided Synthesis of Imperative Programs by Constraint Solving}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {166--181}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_11}, doi = {10.1007/11506676\_11}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Colon04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/CraigGLH04, author = {Stephen{-}John Craig and John P. Gallagher and Michael Leuschel and Kim S. Henriksen}, editor = {Sandro Etalle}, title = {Fully Automatic Binding-Time Analysis for Prolog}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {53--68}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_4}, doi = {10.1007/11506676\_4}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/CraigGLH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/EscobarMT04, author = {Santiago Escobar and Jos{\'{e}} Meseguer and Prasanna Thati}, editor = {Sandro Etalle}, title = {Natural Rewriting for General Term Rewriting Systems}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {101--116}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_7}, doi = {10.1007/11506676\_7}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/EscobarMT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Fruhwirth04, author = {Thom W. Fr{\"{u}}hwirth}, editor = {Sandro Etalle}, title = {Specialization of Concurrent Guarded Multi-set Transformation Rules}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {133--148}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_9}, doi = {10.1007/11506676\_9}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Fruhwirth04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/KulkarniBE04, author = {Sandeep S. Kulkarni and Borzoo Bonakdarpour and Ali Ebnenasir}, editor = {Sandro Etalle}, title = {Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {36--52}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_3}, doi = {10.1007/11506676\_3}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/KulkarniBE04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/LauMO04, author = {Kung{-}Kiu Lau and Alberto Momigliano and Mario Ornaghi}, editor = {Sandro Etalle}, title = {Constructive Specifications for Compositional Units}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {198--214}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_13}, doi = {10.1007/11506676\_13}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/LauMO04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Lopez-GarciaBH04, author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Francisco Bueno and Manuel V. Hermenegildo}, editor = {Sandro Etalle}, title = {Determinacy Analysis for Logic Programs Using Mode and Type Information}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {19--35}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_2}, doi = {10.1007/11506676\_2}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Lopez-GarciaBH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Moody04, author = {Jonathan Moody}, editor = {Sandro Etalle}, title = {Logical Mobility and Locality Types}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {69--84}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_5}, doi = {10.1007/11506676\_5}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Moody04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/PueblaAH04, author = {Germ{\'{a}}n Puebla and Elvira Albert and Manuel V. Hermenegildo}, editor = {Sandro Etalle}, title = {Efficient Local Unfolding with Ancestor Stacks for Full Prolog}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {149--165}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_10}, doi = {10.1007/11506676\_10}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/PueblaAH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Rao04, author = {M. R. K. Krishna Rao}, editor = {Sandro Etalle}, title = {Input-Termination of Logic Programs}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {215--230}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_14}, doi = {10.1007/11506676\_14}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Rao04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/SatoK04, author = {Taisuke Sato and Yoshitaka Kameya}, editor = {Sandro Etalle}, title = {Negation Elimination for Finite PCFGs}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {117--132}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_8}, doi = {10.1007/11506676\_8}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/SatoK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/SerebrenikM04, author = {Alexander Serebrenik and Fr{\'{e}}d{\'{e}}ric Mesnard}, editor = {Sandro Etalle}, title = {On Termination of Binary {CLP} Programs}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {231--244}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_15}, doi = {10.1007/11506676\_15}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/SerebrenikM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Vanhoof04, author = {Wim Vanhoof}, editor = {Sandro Etalle}, title = {Searching Semantically Equivalent Code Fragments in Logic Programs}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {1--18}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_1}, doi = {10.1007/11506676\_1}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Vanhoof04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/WellsY04, author = {J. B. Wells and Boris Yakobowski}, editor = {Sandro Etalle}, title = {Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis}, booktitle = {Logic Based Program Synthesis and Transformation, 14th International Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3573}, pages = {262--277}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11506676\_17}, doi = {10.1007/11506676\_17}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/WellsY04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.