Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lopstr/lopstr92.bht:"
download as .bib file
@proceedings{DBLP:conf/lopstr/1992,
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3560-9},
doi = {10.1007/978-1-4471-3560-9},
isbn = {3-540-19806-7},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BoulangerB92,
author = {Dmitri Boulanger and
Maurice Bruynooghe},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Deriving Transformations for Logic Programs Using Abstract Interpretation},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {99--117},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_8},
doi = {10.1007/978-1-4471-3560-9\_8},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BoulangerB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Demoen92,
author = {Bart Demoen},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {On the Transformation of a Prolog Program to a More Efficient Binary
Program},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {242--252},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_17},
doi = {10.1007/978-1-4471-3560-9\_17},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Demoen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FribourgO92,
author = {Laurent Fribourg and
Hans Ols{\'{e}}n},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {A Unifying View of Structural Induction and Computation Induction
for Logic Programs},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {46--60},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_4},
doi = {10.1007/978-1-4471-3560-9\_4},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/FribourgO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GallagherW92,
author = {John P. Gallagher and
D. Andre de Waal},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Deletion of Redundant Unary Type Predicates from Logic Programs},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {151--167},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_11},
doi = {10.1007/978-1-4471-3560-9\_11},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GallagherW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Giacomo92,
author = {Giuseppe De Giacomo},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Intensional Query Answering: An Application of Partial Evaluation},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {132--150},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_10},
doi = {10.1007/978-1-4471-3560-9\_10},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Giacomo92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Jimenez-MartinMM92,
author = {Jos{\'{e}} Andr{\'{e}} Jim{\`{e}}nez{-}Martin and
Julio Mari{\~{n}}o{-}Carballo and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Efficient Compilation of Lazy Narrowing into Prolog},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {253--270},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_18},
doi = {10.1007/978-1-4471-3560-9\_18},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Jimenez-MartinMM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Jones92,
author = {John Jones},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Applications of Unfolding in Prolog Programming},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {184--198},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_13},
doi = {10.1007/978-1-4471-3560-9\_13},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Jones92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/KraanBB92,
author = {Ina Kraan and
David A. Basin and
Alan Bundy},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Logic Program Synthesis via Proof Planning},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {1--14},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_1},
doi = {10.1007/978-1-4471-3560-9\_1},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/KraanBB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LammaM92,
author = {Evelina Lamma and
Paola Mello},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {A Rationalisation of the {ATMS} in Terms of Partial Evaluation},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {118--131},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_9},
doi = {10.1007/978-1-4471-3560-9\_9},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LammaM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Loria-Saenz92,
author = {Carlos Lor{\'{\i}}a{-}S{\'{a}}enz},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Synthesis of Narrowing Programs},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {30--45},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_3},
doi = {10.1007/978-1-4471-3560-9\_3},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Loria-Saenz92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MogensenB92,
author = {Torben {\AE}. Mogensen and
Anders Bondorf},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Logimix: {A} Self-Applicable Partial Evaluator for Prolog},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {214--227},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_15},
doi = {10.1007/978-1-4471-3560-9\_15},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MogensenB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/NardiR92,
author = {Daniele Nardi and
Riccardo Rosati},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Deductive Synthesis of Programs for Query Answering},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {15--29},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_2},
doi = {10.1007/978-1-4471-3560-9\_2},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/NardiR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Neugebauer92,
author = {Gerd Neugebauer},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {The {LOPS} Approach: {A} Transformational Point of View (Extended
Abstract)},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {80--81},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_6},
doi = {10.1007/978-1-4471-3560-9\_6},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Neugebauer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Ornaghi92,
author = {Mario Ornaghi},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Proof Nets},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {61--79},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_5},
doi = {10.1007/978-1-4471-3560-9\_5},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Ornaghi92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ParrainDL92,
author = {Anne Parrain and
Philippe Devienne and
Patrick Leb{\`{e}}gue},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {228--241},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_16},
doi = {10.1007/978-1-4471-3560-9\_16},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ParrainDL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Prestwich92,
author = {Steven D. Prestwich},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {An Unfold Rule for Full Prolog},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {199--213},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_14},
doi = {10.1007/978-1-4471-3560-9\_14},
timestamp = {Mon, 07 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/Prestwich92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ProiettiP92,
author = {Maurizio Proietti and
Alberto Pettorossi},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Best-first Strategies for Incremental Transformations of Logic Programs},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {82--98},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_7},
doi = {10.1007/978-1-4471-3560-9\_7},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ProiettiP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/VerschaetseDS92,
author = {Kristof Verschaetse and
Stefaan Decorte and
Danny De Schreye},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Automatic Termination Analysis},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {168--183},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_12},
doi = {10.1007/978-1-4471-3560-9\_12},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/VerschaetseDS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-23 07:52 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
