Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jacob M. Howe, Andy King |
Specialising Fininte Domain Programs Using Polyhedra. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Marija Kulas |
Annotations for Prolog - A Concept and Runtime Handling. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
Transformation of Left Terminating Programs. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Fribourg |
Constraint Logic Programming Applied to Model Checking. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Julio C. Peralta, John P. Gallagher |
Imperative Program Specialisation: An Approach Using CLP. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bertolino, Sandro Etalle, Catuscia Palamidessi |
The Replacement Operation for CCP Programs. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Bellot, Bernard J. Robinet |
Logical Synthesis of Imperative O. O. Programs. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili 0001 |
Mathematical Foundations for Program Transformations. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Hamfelt, Jørgen Fischer Nilsson |
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
logic program schemata, logical combinators, synthesis by composition and specialization of schemas, inductive synthesis, metalogic program environment |
1 | Tihomir Gabric, Kevin Glynn, Harald Søndergaard |
Strictness Analysis as Finite-Domain Constraint Solving. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel |
Improving Homeomorphic Embedding for Online Termination. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
Specialisation and Transformation, Functional & Logic Programming, Logic Programming, Program Analysis, Termination, Well-quasi orders |
1 | Antonio Brogi, Simone Contiero, Franco Turini |
The Use of Renaming in Composing General Programs. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa Bossi, Nicoletta Cocco |
Success in Logic Programs. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
pure Prolog programs, failure/success analysis, program transformations |
1 | Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet |
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa Bossi, Sabina Rossi |
Specialising Logic Programs with Respect to Call?Post Specifications. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Julian Richardson |
Abstract: Proof Planning with Program Schemas. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Mallet, Mireille Ducassé |
Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Wolper |
Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Norbert E. Fuchs (eds.) |
Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Hamza Zidoum, Pierre Flener, Brahim Hnich |
Schema-Guided Synthesis of CLP Programs. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Avellone, Mauro Ferrari 0002, Pierangelo Miglioli |
Synthesis of Programs in Abstract Data Types. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Hoarau, Frédéric Mesnard |
Inferring and Compiling Termination for Constraint Logic Programs. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | David A. Rosenblueth |
An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey Van Baalen, Steve Roach |
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter |
Attempto Controlled English - Not Just Another Logic Specification Language. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Wim Vanhoof, Danny De Schreye, Bern Martens |
Bottom-Up Specialisation of Logic Programs. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jamie Stark, Andrew Ireland |
Invariant Discovery via Failed Proof Attempts. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Kung-Kiu Lau, Mario Ornaghi |
OOD Frameworks in Component-Based Software - Development in Computational Logic. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Robert Glück, John Hatcliff, Jesper Jørgensen |
Generalization in Hierarchies of Online Program Specialization Systems. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | David Stuart Robertson 0001, Jaume Agustí-Cullell |
Pragmatics in the Synthesis of Logic Programs. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Lee Naish, Leon Sterling |
A Higher Order Reconstruction of Stepwise Enhancement. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Henning Christiansen 0001 |
Implicit Program Synthesis by a Reversible Metainterpreter. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Eric Chasseur, Yves Deville |
Logic Program Schemas, Constraints, and Semi-unification. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Flener, Kung-Kiu Lau, Mario Ornaghi |
On Correct Program Schemas. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas |
Termination Analysis for Tabled Logic Programming. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Hüseyin Saglam, John P. Gallagher |
Constrained Regular Approximation of Logic Programs. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa Bossi, Nicoletta Cocco |
Programs Without Failures. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
finitely failing derivations, program transformation, program verification |
1 | Andrew Heaton, Patricia M. Hill, Andy King |
Analysis of Logic Programs with Delay. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Laura Lafave, John P. Gallagher |
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | John P. Gallagher (eds.) |
Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik |
Unfolding the Mystery of Mergesort. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Semeraro, Floriana Esposito, Donato Malerba, Nicola Fanizzi, Stefano Ferilli |
A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel, Bern Martens, Konstantinos Sagonas |
Preserving Termination of Tabled Logic Programs While Unfolding. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Wim Vanhoof, Bern Martens |
To Parse or Not To Parse. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Halime Büyükyildiz, Pierre Flener |
Generalised Logic Program Transformation Schemas. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Julian Richardson, Norbert E. Fuchs |
Development of Correct Transformation Schemata for Prolog Programs. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann |
A Multi-level Approach to Program Synthesis. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Momigliano, Mario Ornaghi |
Towards a Logic for Reasoning About Logic Programs Transformation. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Fribourg, Hans Olsén |
Reductions of Petri Nets and Unfolding of Propositional Logic Programs. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel, Danny De Schreye |
Logic Program Specialisation: How to Be More Specific (Abstract). (full paper: PLILP 1996: 137-151) |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Proietti (eds.) |
Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Florence Benoy, Andy King |
Inferring Argument Size Relationships with CLP(R). |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mihhail Matskin, Henryk Jan Komorowski, John Krogstie |
Partial Deduction in the Framework of Structural Synthesis of Programs. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan C. Martin, Andy King, Paul Soper |
Typed Norms for Typed Logic Programs. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Kung-Kiu Lau, Mario Ornaghi |
Forms of Logic Specifications: A Preliminary Study. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Phan Minh Dung, Robert A. Kowalski, Francesca Toni |
Synthesis of Proof Procedures for Default Reasoning. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
Enhancing Partial Deduction via Unfold/Fold Rules. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa Bossi, Nicoletta Cocco |
Replacement Can Preserve Termination. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi |
Specification-Based Automatic Verification of Prolog Programs. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Fribourg, Julian Richardson |
Symbolic Verification with Gap-Order Constraints. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Germán Puebla, Manuel V. Hermenegildo |
Abstract Specialization and Its Application to Program Parallelization. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jesper Jørgensen, Michael Leuschel, Bern Martens |
Conjunctive Partial Deduction in Practice. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Brunekreef |
A Transformation Tool for Pure Prolog Programs. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel, Morten Heine Sørensen |
Redundant Argument Filtering of Logic Programs. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Brogi, Simone Contiero |
Specialising Meta-level Compositions of Logic Programs. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ian J. Hayes, R. G. Nickson, Paul A. Strooper |
Refining Specifications to Logic Programs. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Timothy S. Gegg-Harrison |
Extensible Logic Program Schemata. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Semeraro, Floriana Esposito, Donato Malerba |
Ideal Refinement of Datalog Programs. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Mesnard |
Towards Automatic Control for CLP(x) Programs. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Renault |
Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jens E. Wunderwald |
Memoing Evaluation by Source-to-Source Transformation. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Kung-Kiu Lau, Mario Ornaghi |
Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Flener, Yves Deville |
Logic Program Transformation through Generalization Schemata. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel |
Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Arts, Hans Zantema |
Termination of Logic Programs Using Semantic Unification. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Erik Aarts |
Complexity of Horn Programs. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
Transformation of Left Terminating Programs: the Reordering Problem. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | María-del-Mar Gallardo, José M. Troya |
Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Steve Gregory |
Derivation of Concurrent Algorithms in Tempo. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | D. Andre de Waal, Michael Thielscher |
Solving Deductive Planning Problems Using Program Analysis and Transformation. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Kreitz, Jens Otten, Stephan Schmitt |
Guiding Program Development Systems by a Connection Based Proof Strategy. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrew J. Parkes, Geraint A. Wiggins |
Logic Program Synthesis by Induction over Horn Clauses. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Robert Glück |
On the Mechanics of Metasystem Hierarchies in Program Transformation. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Wamberto Weber Vasconcelos, Norbert E. Fuchs |
An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Toni, Robert A. Kowalski |
An Argumentation-Theoretic Approach to Logic Program Transformation. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Efficient Translation of Lazy Functional Logic Programs into Prolog. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Flener, Lubos Popelínský |
On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel |
Partial Evaluation of the "Real Thing". |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Semeraro, Floriana Esposito, Donato Malerba, Clifford Brunk, Michael J. Pazzani |
Avoiding Non-Termination when Learning Logical Programs: A Case Study with FOIL and FOCL. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Dmitri Boulanger, Maurice Bruynooghe |
Using Call/Exit Analysis for Logic Program Transformation. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Christine Solnon, Michel Rueher |
Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Geraint A. Wiggins |
Improving the Whelk System: A Type-Theoretic Reconstruction. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin |
Logic Frameworks for Logic Programs. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Yves Deville (eds.) |
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 |
LOPSTR |
1994 |
DBLP BibTeX RDF |
|
1 | Nacéra Bensaou, Irène Guessarian |
An Extended Transformation System for CLP Programs. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Renault |
Generalizing Extended Execution for Normal Programs. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Chiaki Sakama, Hirohisa Seki |
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau, Verónica Dahl |
Logic Programming and Logic Grammars with First-Order Continuations. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David R. Gilbert, Christopher J. Hogger, Jirí Zlatuska |
Transforming Specifications of Observable Behaviour into Programs. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|