Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/lopstr/lopstr91.bht:"
@proceedings{DBLP:conf/lopstr/1991, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3494-7}, doi = {10.1007/978-1-4471-3494-7}, isbn = {3-540-19742-7}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/1991.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/AlexandreBQ91, author = {Francis Alexandre and Khaled Bsa{\"{\i}}es and Alain Qu{\'{e}}r{\'{e}}}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {On Using Mode Input-output for Transforming Logic Programs}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {129--146}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_11}, doi = {10.1007/978-1-4471-3494-7\_11}, timestamp = {Fri, 21 Jun 2019 13:08:59 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/AlexandreBQ91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Ameur91, author = {Yamine A{\"{\i}}t Ameur}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract)}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {297--299}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_21}, doi = {10.1007/978-1-4471-3494-7\_21}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Ameur91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Antoy91, author = {Sergio Antoy}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Non-Determinism and Lazy Evaluation in Logic Programming}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {318--331}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_23}, doi = {10.1007/978-1-4471-3494-7\_23}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Antoy91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Eusterbrock91, author = {Jutta Eusterbrock}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Speed-up Transformations of Logic Programs by Abstraction and Learning}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {167--182}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_13}, doi = {10.1007/978-1-4471-3494-7\_13}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Eusterbrock91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/FlenerD91, author = {Pierre Flener and Yves Deville}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Towards Stepwise, Schema-guided Synthesis of Logic Programms}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {46--64}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_4}, doi = {10.1007/978-1-4471-3494-7\_4}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/FlenerD91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/FuchsF91, author = {Norbert E. Fuchs and Markus P. J. Fromherz}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Schema-Based Transfomations of Logic Programs}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {111--125}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_9}, doi = {10.1007/978-1-4471-3494-7\_9}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/FuchsF91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Huntbach91, author = {Matthew M. Huntbach}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Automated Translation of Occam to a Concurrent Logic Language}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {254--275}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_19}, doi = {10.1007/978-1-4471-3494-7\_19}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Huntbach91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/JantkeG91, author = {Klaus P. Jantke and Ulf Goldhammer}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract)}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {65--68}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_5}, doi = {10.1007/978-1-4471-3494-7\_5}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/JantkeG91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/JiaoG91, author = {Zhuoan Jiao and Peter M. D. Gray}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Query Optimization in an Object-Oriented Database using Prolog (Extende Abstract)}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {332--333}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_24}, doi = {10.1007/978-1-4471-3494-7\_24}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/JiaoG91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/LecoutreDL91, author = {Christophe Lecoutre and Philippe Devienne and Patrick Leb{\`{e}}gue}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Abstract Interpretation and Recursive Behaviour of Logic Programs}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {147--166}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_12}, doi = {10.1007/978-1-4471-3494-7\_12}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/LecoutreDL91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Lever91, author = {Jonathan M. Lever}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Program Equivalence, Program Development and Integrity Checking}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {1--12}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_1}, doi = {10.1007/978-1-4471-3494-7\_1}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Lever91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/MiglioliMO91, author = {Pierangelo Miglioli and Ugo Moscato and Mario Ornaghi}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Program Specification and Synthesis in Constructive Formal Systems}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {13--26}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_2}, doi = {10.1007/978-1-4471-3494-7\_2}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/MiglioliMO91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Mill91, author = {P. M. Mill}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Pruning Operators for Partial Evaluation}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {183--204}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_14}, doi = {10.1007/978-1-4471-3494-7\_14}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Mill91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Noel91, author = {Philippe No{\"{e}}l}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {A Method for the Determinisation of Propositional Temporal Formulae}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {276--296}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_20}, doi = {10.1007/978-1-4471-3494-7\_20}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Noel91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/ParrainDL91, author = {Anne Parrain and Philippe Devienne and Patrick Leb{\`{e}}gue}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Prolog Program Transformations and Meta-Interpreters}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {238--251}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_17}, doi = {10.1007/978-1-4471-3494-7\_17}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/ParrainDL91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Popelinsky91, author = {Lubos Popel{\'{\i}}nsk{\'{y}}}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract)}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {94--96}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_7}, doi = {10.1007/978-1-4471-3494-7\_7}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Popelinsky91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/ProiettiP91, author = {Maurizio Proietti and Alberto Pettorossi}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract)}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {126--128}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_10}, doi = {10.1007/978-1-4471-3494-7\_10}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/ProiettiP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/ReadK91, author = {M. G. Read and E. A. Kazmierczak}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Formal Program Development in Modular Prolog: {A} Case Study}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {69--93}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_6}, doi = {10.1007/978-1-4471-3494-7\_6}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/ReadK91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Ross91, author = {Brian J. Ross}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Semantics-based Partial Evaluation of Prolog Programs}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {221--237}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_16}, doi = {10.1007/978-1-4471-3494-7\_16}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Ross91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Schaeck91, author = {S. Schaeck}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Global Search Algorithms and the Constraint Logic Programming Framework (Extended Abstract)}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {252--253}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_18}, doi = {10.1007/978-1-4471-3494-7\_18}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Schaeck91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/SolnonR91, author = {Christine Solnon and Michel Rueher}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Using a Prolog Prototype for Designing an Object Oriented Scheme}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {300--317}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_22}, doi = {10.1007/978-1-4471-3494-7\_22}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/SolnonR91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/WaalG91, author = {D. Andre de Waal and John P. Gallagher}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Specialisation of a Unification Algorithm}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {205--220}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_15}, doi = {10.1007/978-1-4471-3494-7\_15}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/WaalG91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Waldau91, author = {Mattias Waldau}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Formal Validation of Transformation Schemata}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {97--110}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_8}, doi = {10.1007/978-1-4471-3494-7\_8}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Waldau91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/WigginsBKH91, author = {Geraint A. Wiggins and Alan Bundy and Ina Kraan and Jane Hesketh}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {27--45}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_3}, doi = {10.1007/978-1-4471-3494-7\_3}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/WigginsBKH91.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.