Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kung-Kiu Lau, Mario Ornaghi |
On Specification Frameworks and Deductive Synthesis of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 104-121, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | J. Cook, John P. Gallagher |
A Transformation System for Definite Programs Based on Termination Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 51-68, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuil I. Marakakis, John P. Gallagher |
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 138-153, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Marko Grobelnik |
Induction of Prolog Programs with Markus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 57-63, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Maurizio Proietti, Alberto Pettorossi |
Synthesis of Programs from Unfold/Fold Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 141-158, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Dmitri Boulanger, Maurice Bruynooghe |
Using Abstract Interpretation for Goal Replacement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 210-228, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Kung-Kiu Lau, Tim Clement (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![Springer, 3-540-19806-7 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Corin A. Gurr |
Specialising the Ground Representation in the Logic Programming Language Gödel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 124-140, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Anna-Lena Johansson |
Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 100-112, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Ulrich Neumerkel |
A Transformation Based in the Equality Between Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 162-176, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Vincent Lombart, Geraint A. Wiggins, Yves Deville |
Guiding Synthesis Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 67-81, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Pierre De Boeck, Baudouin Le Charlier |
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 229-245, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Gerd Neugebauer |
Reachability Analysis for the Extension Procedure - A Topological Result. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 32-44, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Kung-Kiu Lau, Mario Ornaghi |
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 10-31, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Peter Madden, Jane Hesketh, Ian Green, Alan Bundy |
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 64-66, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Francesco Bergadano, Daniele Gunetti |
Inductive Synthesis of Logic Programs and Inductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 45-56, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Maria Vargas-Vera, David Stuart Robertson 0001, Robert Inder |
Combining Prolog Programs in a Techniques Editing System (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 82-84, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Wamberto Weber Vasconcelos |
Designing Prolog Programming Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 85-99, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | D. Andre de Waal |
The Power of Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 113-123, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Paul Tarau, Koenraad De Bosschere |
Memoing with Abstract Answers and Delphi Lemmas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 196-209, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo |
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 177-195, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Bern Martens, Danny De Schreye |
Some Further Issues in Finite Unfolding (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 159-161, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Douglas R. Smith |
Towards the Synthesis of Constraint Propagation Algorithms. (Invited Paper) ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 1-9, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Evelina Lamma, Paola Mello |
A Rationalisation of the ATMS in Terms of Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 118-131, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Paul Clement, Kung-Kiu Lau (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![Springer, 3-540-19742-7 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Proietti, Alberto Pettorossi |
Best-first Strategies for Incremental Transformations of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 82-98, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Kristof Verschaetse, Stefaan Decorte, Danny De Schreye |
Automatic Termination Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 168-183, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | John Jones |
Applications of Unfolding in Prolog Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 184-198, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Loría-Sáenz |
Synthesis of Narrowing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 30-45, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Steven D. Prestwich |
An Unfold Rule for Full Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 199-213, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Anne Parrain, Philippe Devienne, Patrick Lebègue |
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 228-241, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Torben Æ. Mogensen, Anders Bondorf |
Logimix: A Self-Applicable Partial Evaluator for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 214-227, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ina Kraan, David A. Basin, Alan Bundy |
Logic Program Synthesis via Proof Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 1-14, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mario Ornaghi |
Proof Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 61-79, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bart Demoen |
On the Transformation of a Prolog Program to a More Efficient Binary Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 242-252, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Dmitri Boulanger, Maurice Bruynooghe |
Deriving Transformations for Logic Programs Using Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 99-117, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | José André Jimènez-Martin, Julio Mariño-Carballo, Juan José Moreno-Navarro |
Efficient Compilation of Lazy Narrowing into Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 253-270, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe De Giacomo |
Intensional Query Answering: An Application of Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 132-150, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Fribourg, Hans Olsén |
A Unifying View of Structural Induction and Computation Induction for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 46-60, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Nardi, Riccardo Rosati 0001 |
Deductive Synthesis of Programs for Query Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 15-29, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Neugebauer |
The LOPS Approach: A Transformational Point of View (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 80-81, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | John P. Gallagher, D. Andre de Waal |
Deletion of Redundant Unary Type Predicates from Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 151-167, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Lubos Popelínský |
Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 94-96, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | M. G. Read, E. A. Kazmierczak |
Formal Program Development in Modular Prolog: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 69-93, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Yamine Aït Ameur |
Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 297-299, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | P. M. Mill |
Pruning Operators for Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 183-204, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Matthew M. Huntbach |
Automated Translation of Occam to a Concurrent Logic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 254-275, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jutta Eusterbrock |
Speed-up Transformations of Logic Programs by Abstraction and Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 167-182, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Anne Parrain, Philippe Devienne, Patrick Lebègue |
Prolog Program Transformations and Meta-Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 238-251, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Francis Alexandre, Khaled Bsaïes, Alain Quéré |
On Using Mode Input-output for Transforming Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 129-146, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Zhuoan Jiao, Peter M. D. Gray |
Query Optimization in an Object-Oriented Database using Prolog (Extende Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 332-333, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Noël |
A Method for the Determinisation of Propositional Temporal Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 276-296, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | D. Andre de Waal, John P. Gallagher |
Specialisation of a Unification Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 205-220, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Proietti, Alberto Pettorossi |
An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 126-128, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Flener, Yves Deville |
Towards Stepwise, Schema-guided Synthesis of Logic Programms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 46-64, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Mattias Waldau |
Formal Validation of Transformation Schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 97-110, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh |
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 27-45, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Christine Solnon, Michel Rueher |
Using a Prolog Prototype for Designing an Object Oriented Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 300-317, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Klaus P. Jantke, Ulf Goldhammer |
Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 65-68, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan M. Lever |
Program Equivalence, Program Development and Integrity Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 1-12, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
Program Specification and Synthesis in Constructive Formal Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 13-26, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | S. Schaeck |
Global Search Algorithms and the Constraint Logic Programming Framework (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 252-253, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Lecoutre, Philippe Devienne, Patrick Lebègue |
Abstract Interpretation and Recursive Behaviour of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 147-166, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Brian J. Ross |
Semantics-based Partial Evaluation of Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 221-237, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Norbert E. Fuchs, Markus P. J. Fromherz |
Schema-Based Transfomations of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 111-125, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy |
Non-Determinism and Lazy Evaluation in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: 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, pp. 318-331, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Flener (eds.) |
Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![Springer, 3-540-65765-7 The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|