Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kung-Kiu Lau, Mario Ornaghi |
On Specification Frameworks and Deductive Synthesis of Logic Programs. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | J. Cook, John P. Gallagher |
A Transformation System for Definite Programs Based on Termination Analysis. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuil I. Marakakis, John P. Gallagher |
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Marko Grobelnik |
Induction of Prolog Programs with Markus. |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | Maurizio Proietti, Alberto Pettorossi |
Synthesis of Programs from Unfold/Fold Proofs. |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | Dmitri Boulanger, Maurice Bruynooghe |
Using Abstract Interpretation for Goal Replacement. |
LOPSTR |
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 |
LOPSTR |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Corin A. Gurr |
Specialising the Ground Representation in the Logic Programming Language Gödel. |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | Anna-Lena Johansson |
Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies. |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | Ulrich Neumerkel |
A Transformation Based in the Equality Between Terms. |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | Vincent Lombart, Geraint A. Wiggins, Yves Deville |
Guiding Synthesis Proofs. |
LOPSTR |
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. |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | Gerd Neugebauer |
Reachability Analysis for the Extension Procedure - A Topological Result. |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | Kung-Kiu Lau, Mario Ornaghi |
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. |
LOPSTR |
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). |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | Francesco Bergadano, Daniele Gunetti |
Inductive Synthesis of Logic Programs and Inductive Logic Programming. |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | Maria Vargas-Vera, David Stuart Robertson 0001, Robert Inder |
Combining Prolog Programs in a Techniques Editing System (Abstract). |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | Wamberto Weber Vasconcelos |
Designing Prolog Programming Techniques. |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | D. Andre de Waal |
The Power of Partial Evaluation. |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | Paul Tarau, Koenraad De Bosschere |
Memoing with Abstract Answers and Delphi Lemmas. |
LOPSTR |
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. |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | Bern Martens, Danny De Schreye |
Some Further Issues in Finite Unfolding (Abstract). |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | Douglas R. Smith |
Towards the Synthesis of Constraint Propagation Algorithms. (Invited Paper) |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
1 | Evelina Lamma, Paola Mello |
A Rationalisation of the ATMS in Terms of Partial Evaluation. |
LOPSTR |
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 |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Proietti, Alberto Pettorossi |
Best-first Strategies for Incremental Transformations of Logic Programs. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Kristof Verschaetse, Stefaan Decorte, Danny De Schreye |
Automatic Termination Analysis. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | John Jones |
Applications of Unfolding in Prolog Programming. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Loría-Sáenz |
Synthesis of Narrowing Programs. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Steven D. Prestwich |
An Unfold Rule for Full Prolog. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Anne Parrain, Philippe Devienne, Patrick Lebègue |
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Torben Æ. Mogensen, Anders Bondorf |
Logimix: A Self-Applicable Partial Evaluator for Prolog. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ina Kraan, David A. Basin, Alan Bundy |
Logic Program Synthesis via Proof Planning. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Mario Ornaghi |
Proof Nets. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bart Demoen |
On the Transformation of a Prolog Program to a More Efficient Binary Program. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Dmitri Boulanger, Maurice Bruynooghe |
Deriving Transformations for Logic Programs Using Abstract Interpretation. |
LOPSTR |
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. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe De Giacomo |
Intensional Query Answering: An Application of Partial Evaluation. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Fribourg, Hans Olsén |
A Unifying View of Structural Induction and Computation Induction for Logic Programs. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Nardi, Riccardo Rosati 0001 |
Deductive Synthesis of Programs for Query Answering. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Neugebauer |
The LOPS Approach: A Transformational Point of View (Extended Abstract). |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | John P. Gallagher, D. Andre de Waal |
Deletion of Redundant Unary Type Predicates from Logic Programs. |
LOPSTR |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Lubos Popelínský |
Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract). |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | M. G. Read, E. A. Kazmierczak |
Formal Program Development in Modular Prolog: A Case Study. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Yamine Aït Ameur |
Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract). |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | P. M. Mill |
Pruning Operators for Partial Evaluation. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Matthew M. Huntbach |
Automated Translation of Occam to a Concurrent Logic Language. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jutta Eusterbrock |
Speed-up Transformations of Logic Programs by Abstraction and Learning. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Anne Parrain, Philippe Devienne, Patrick Lebègue |
Prolog Program Transformations and Meta-Interpreters. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Francis Alexandre, Khaled Bsaïes, Alain Quéré |
On Using Mode Input-output for Transforming Logic Programs. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Zhuoan Jiao, Peter M. D. Gray |
Query Optimization in an Object-Oriented Database using Prolog (Extende Abstract). |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Noël |
A Method for the Determinisation of Propositional Temporal Formulae. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | D. Andre de Waal, John P. Gallagher |
Specialisation of a Unification Algorithm. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Proietti, Alberto Pettorossi |
An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract). |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Flener, Yves Deville |
Towards Stepwise, Schema-guided Synthesis of Logic Programms. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Mattias Waldau |
Formal Validation of Transformation Schemata. |
LOPSTR |
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. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Christine Solnon, Michel Rueher |
Using a Prolog Prototype for Designing an Object Oriented Scheme. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Klaus P. Jantke, Ulf Goldhammer |
Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract). |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan M. Lever |
Program Equivalence, Program Development and Integrity Checking. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
Program Specification and Synthesis in Constructive Formal Systems. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | S. Schaeck |
Global Search Algorithms and the Constraint Logic Programming Framework (Extended Abstract). |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Lecoutre, Philippe Devienne, Patrick Lebègue |
Abstract Interpretation and Recursive Behaviour of Logic Programs. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Brian J. Ross |
Semantics-based Partial Evaluation of Prolog Programs. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Norbert E. Fuchs, Markus P. J. Fromherz |
Schema-Based Transfomations of Logic Programs. |
LOPSTR |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy |
Non-Determinism and Lazy Evaluation in Logic Programming. |
LOPSTR |
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 |
LOPSTR |
1990 |
DBLP DOI BibTeX RDF |
|