default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th LOPSTR 1997: Leuven, Belgium
- Norbert E. Fuchs:
Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings. Lecture Notes in Computer Science 1463, Springer 1998, ISBN 3-540-65074-1 - Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten
, Stephen Schmitt, G. Stolpmann:
A Multi-level Approach to Program Synthesis. 1-27 - Annalisa Bossi, Nicoletta Cocco:
Programs Without Failures. 28-48 - Halime Büyükyildiz, Pierre Flener:
Generalised Logic Program Transformation Schemas. 49-68 - Eric Chasseur, Yves Deville:
Logic Program Schemas, Constraints, and Semi-unification. 69-89 - Henning Christiansen:
Implicit Program Synthesis by a Reversible Metainterpreter. 90-110 - Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas:
Termination Analysis for Tabled Logic Programming. 111-127 - Pierre Flener, Kung-Kiu Lau, Mario Ornaghi:
On Correct Program Schemas. 128-147 - Andrew Heaton, Patricia M. Hill, Andy King:
Analysis of Logic Programs with Delay. 148-167 - Laura Lafave, John P. Gallagher:
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs. 168-188 - Michael Leuschel, Bern Martens, Konstantinos Sagonas:
Preserving Termination of Tabled Logic Programs While Unfolding. 189-205 - Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik:
Unfolding the Mystery of Mergesort. 206-225 - Alberto Momigliano, Mario Ornaghi:
Towards a Logic for Reasoning About Logic Programs Transformation. 226-244 - Lee Naish, Leon Sterling:
A Higher Order Reconstruction of Stepwise Enhancement. 245-262 - Julian Richardson, Norbert E. Fuchs:
Development of Correct Transformation Schemata for Prolog Programs. 263-281 - Hüseyin Saglam, John P. Gallagher:
Constrained Regular Approximation of Logic Programs. 282-299 - Giovanni Semeraro, Floriana Esposito, Donato Malerba, Nicola Fanizzi, Stefano Ferilli:
A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories. 300-321 - Wim Vanhoof, Bern Martens:
To Parse or Not To Parse. 322-342
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-31 20:20 CET 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:
