default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd LOPSTR 1992: Manchester, UK
- Kung-Kiu Lau, Tim Clement:
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. Workshops in Computing, Springer 1993, ISBN 3-540-19806-7 - Ina Kraan, David A. Basin, Alan Bundy:
Logic Program Synthesis via Proof Planning. 1-14 - Daniele Nardi, Riccardo Rosati:
Deductive Synthesis of Programs for Query Answering. 15-29 - Carlos Loría-Sáenz:
Synthesis of Narrowing Programs. 30-45 - Laurent Fribourg, Hans Olsén:
A Unifying View of Structural Induction and Computation Induction for Logic Programs. 46-60 - Mario Ornaghi:
Proof Nets. 61-79 - Gerd Neugebauer:
The LOPS Approach: A Transformational Point of View (Extended Abstract). 80-81 - Maurizio Proietti, Alberto Pettorossi:
Best-first Strategies for Incremental Transformations of Logic Programs. 82-98 - Dmitri Boulanger, Maurice Bruynooghe:
Deriving Transformations for Logic Programs Using Abstract Interpretation. 99-117 - Evelina Lamma, Paola Mello:
A Rationalisation of the ATMS in Terms of Partial Evaluation. 118-131 - Giuseppe De Giacomo:
Intensional Query Answering: An Application of Partial Evaluation. 132-150 - John P. Gallagher, D. Andre de Waal:
Deletion of Redundant Unary Type Predicates from Logic Programs. 151-167 - Kristof Verschaetse, Stefaan Decorte, Danny De Schreye:
Automatic Termination Analysis. 168-183 - John Jones:
Applications of Unfolding in Prolog Programming. 184-198 - Steven D. Prestwich:
An Unfold Rule for Full Prolog. 199-213 - Torben Æ. Mogensen, Anders Bondorf:
Logimix: A Self-Applicable Partial Evaluator for Prolog. 214-227 - Anne Parrain, Philippe Devienne, Patrick Lebègue:
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. 228-241 - Bart Demoen:
On the Transformation of a Prolog Program to a More Efficient Binary Program. 242-252 - José André Jimènez-Martin, Julio Mariño-Carballo, Juan José Moreno-Navarro:
Efficient Compilation of Lazy Narrowing into Prolog. 253-270
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.
last updated on 2024-10-09 20:16 CEST 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:
