Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/lopstr/lopstr2000.bht:"
@inproceedings{DBLP:conf/lopstr/AlbertAV00, author = {Elvira Albert and Sergio Antoy and Germ{\'{a}}n Vidal}, editor = {Kung{-}Kiu Lau}, title = {Measuring the Effectiveness of Partial Evaluation}, booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-albert.ps.Z}, timestamp = {Tue, 11 Feb 2014 17:45:37 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/AlbertAV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/AvelloneFF00, 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 = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-avellone.ps.Z}, timestamp = {Wed, 30 Oct 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/AvelloneFF00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/BuenoBHMPS00, 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 = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-bueno.ps.Z}, timestamp = {Tue, 11 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/BuenoBHMPS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/ColvinHS00, author = {Robert Colvin and Ian J. Hayes and Paul A. Strooper}, editor = {Kung{-}Kiu Lau}, title = {Modular Logic Program Refinement}, booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-colvin.ps.Z}, timestamp = {Tue, 11 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/ColvinHS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Demoen00, author = {Bart Demoen}, editor = {Kung{-}Kiu Lau}, title = {Prolog and abduction 4 writing garbage collectors}, booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-demoen.ps.Z}, timestamp = {Tue, 11 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/Demoen00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/EtalleM00, author = {Sandro Etalle and Jon Mountjoy}, editor = {Kung{-}Kiu Lau}, title = {The lazy functional side of logic programming}, booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-etalle.ps.Z}, timestamp = {Tue, 11 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/EtalleM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/FioravantiPP00, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Kung{-}Kiu Lau}, title = {Automated strategies for specializing constraint logic programs}, booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-fioravanti.ps.Z}, timestamp = {Tue, 11 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/FioravantiPP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/JahierDR00, author = {Erwan Jahier and Mireille Ducass{\'{e}} and Olivier Ridoux}, editor = {Kung{-}Kiu Lau}, title = {Specifying Prolog trace models with a continuation semantics}, booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-jahier.ps.Z}, timestamp = {Tue, 11 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/JahierDR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/PierroW00, author = {Alessandra Di Pierro and Herbert Wiklicky}, editor = {Kung{-}Kiu Lau}, title = {On the precision of abstract interpretations}, booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-dipierro.ps.Z}, timestamp = {Tue, 11 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/PierroW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/PoernomoC00, author = {Iman Poernomo and John N. Crossley}, editor = {Kung{-}Kiu Lau}, title = {Protocols between programs and proofs}, booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-poernomo.ps.Z}, timestamp = {Tue, 11 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/PoernomoC00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/SerebrenikS00, author = {Alexander Serebrenik and Danny De Schreye}, editor = {Kung{-}Kiu Lau}, title = {Non-tranformational termination analysis of logic programs, based on general term-orderings}, booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-serebrenik.ps.Z}, timestamp = {Tue, 11 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/SerebrenikS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/SeresS00, author = {Silvija Seres and J. Michael Spivey}, editor = {Kung{-}Kiu Lau}, title = {Higher-order transformation of logic programs}, booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-seres.ps.Z}, timestamp = {Tue, 11 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/SeresS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/VanhoofB00, author = {Wim Vanhoof and Maurice Bruynooghe}, editor = {Kung{-}Kiu Lau}, title = {Towards a modular binding-time analysis for higher-order Mercury}, booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-vanhoof.ps.Z}, timestamp = {Tue, 11 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/VanhoofB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Wilson00, author = {Walter W. Wilson}, editor = {Kung{-}Kiu Lau}, title = {A minimal specification language}, booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-wilson.ps.Z}, timestamp = {Tue, 11 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/Wilson00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lopstr/2000ext, editor = {Kung{-}Kiu Lau}, title = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1.html}, timestamp = {Tue, 11 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/2000ext.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.