Search results for "LOPSTR"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "LOPSTR"( http://dblp.L3S.de/Venues/LOPSTR )