Search dblp for Publications

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

 download as .bib file

@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}
}
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.