Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/lopstr/lopstr2000lncs.bht:"
@proceedings{DBLP:conf/lopstr/2000, editor = {Kung{-}Kiu Lau}, title = {Logic Based Program Synthesis and Transformation, 10th International Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2042}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45142-0}, doi = {10.1007/3-540-45142-0}, isbn = {3-540-42127-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/2000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/AlbertAV00a, author = {Elvira Albert and Sergio Antoy and Germ{\'{a}}n Vidal}, editor = {Kung{-}Kiu Lau}, title = {Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages}, booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2042}, pages = {103--124}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45142-0\_7}, doi = {10.1007/3-540-45142-0\_7}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/AlbertAV00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/AvelloneFF00a, author = {Alessandro Avellone and Mauro Ferrari and Camillo Fiorentini}, editor = {Kung{-}Kiu Lau}, title = {A Formal Framework for Synthesis and Verification of Logic Programs}, booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2042}, pages = {1--17}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45142-0\_1}, doi = {10.1007/3-540-45142-0\_1}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/AvelloneFF00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/BuenoBHMPS00a, author = {Francisco Bueno and Maria J. Garc{\'{\i}}a de la Banda and Manuel V. Hermenegildo and Kim Marriott and Germ{\'{a}}n Puebla and Peter J. Stuckey}, editor = {Kung{-}Kiu Lau}, title = {A Model for Inter-module Analysis and Optimizing Compilation}, booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2042}, pages = {86--102}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45142-0\_6}, doi = {10.1007/3-540-45142-0\_6}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/BuenoBHMPS00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/ColvinHS00a, author = {Robert Colvin and Ian J. Hayes and Paul A. Strooper}, editor = {Kung{-}Kiu Lau}, title = {A Technique for Modular Logic Program Refinement}, booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2042}, pages = {38--56}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45142-0\_3}, doi = {10.1007/3-540-45142-0\_3}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/ColvinHS00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/FioravantiPP00a, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Kung{-}Kiu Lau}, title = {Automated Strategies for Specializing Constraint Logic Programs}, booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2042}, pages = {125--146}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45142-0\_8}, doi = {10.1007/3-540-45142-0\_8}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/FioravantiPP00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/JahierDR00a, author = {Erwan Jahier and Mireille Ducass{\'{e}} and Olivier Ridoux}, editor = {Kung{-}Kiu Lau}, title = {Specifying Prolog Trace Models with a Continuation Semantics}, booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2042}, pages = {165--182}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45142-0\_10}, doi = {10.1007/3-540-45142-0\_10}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/JahierDR00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/PierroW00a, author = {Alessandra Di Pierro and Herbert Wiklicky}, editor = {Kung{-}Kiu Lau}, title = {Measuring the Precision of Abstract Interpretations}, booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2042}, pages = {147--164}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45142-0\_9}, doi = {10.1007/3-540-45142-0\_9}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/PierroW00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/PoernomoC00a, author = {Iman Poernomo and John N. Crossley}, editor = {Kung{-}Kiu Lau}, title = {Protocols between Programs and Proofs}, booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2042}, pages = {18--37}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45142-0\_2}, doi = {10.1007/3-540-45142-0\_2}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/PoernomoC00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/SerebrenikS00a, author = {Alexander Serebrenik and Danny De Schreye}, editor = {Kung{-}Kiu Lau}, title = {Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings}, booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2042}, pages = {69--85}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45142-0\_5}, doi = {10.1007/3-540-45142-0\_5}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/SerebrenikS00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/SeresS00a, author = {Silvija Seres and J. Michael Spivey}, editor = {Kung{-}Kiu Lau}, title = {Higher-Order Transformation of Logic Programs}, booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2042}, pages = {57--68}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45142-0\_4}, doi = {10.1007/3-540-45142-0\_4}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/SeresS00a.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.