default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th LOPSTR 1998: Manchester, U.K.
- Pierre Flener:
Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings. Lecture Notes in Computer Science 1559, Springer 1990, ISBN 3-540-65765-7 - Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter
:
Attempto Controlled English - Not Just Another Logic Specification Language. 1-20 - Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet:
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. 21-40 - David Stuart Robertson, Jaume Agustí-Cullell:
Pragmatics in the Synthesis of Logic Programs. 41-60 - Jeffrey Van Baalen, Steve Roach:
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. 61-70 - Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli:
Synthesis of Programs in Abstract Data Types. 81-100 - Kung-Kiu Lau, Mario Ornaghi:
OOD Frameworks in Component-Based Software - Development in Computational Logic. 101-123 - Antonio Brogi, Simone Contiero, Franco Turini:
The Use of Renaming in Composing General Programs. 124-142 - Andreas Hamfelt, Jørgen Fischer Nilsson:
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. 143-158 - Annalisa Bossi, Sabina Rossi:
Specialising Logic Programs with Respect to Call?Post Specifications. 159-178 - Robert Glück, John Hatcliff, Jesper Jørgensen:
Generalization in Hierarchies of Online Program Specialization Systems. 179-198 - Michael Leuschel:
Improving Homeomorphic Embedding for Online Termination. 199-218 - Annalisa Bossi, Nicoletta Cocco:
Success in Logic Programs. 219-239 - Sébastien Hoarau, Frédéric Mesnard:
Inferring and Compiling Termination for Constraint Logic Programs. 240-254 - Tihomir Gabric, Kevin Glynn, Harald Søndergaard:
Strictness Analysis as Finite-Domain Constraint Solving. 255-270 - Jamie Stark, Andrew Ireland:
Invariant Discovery via Failed Proof Attempts. 271-288 - Jan-Georg Smaus, Patricia M. Hill, Andy King:
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. 289-307 - Pierre Wolper:
Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). 308 - Hamza Zidoum, Pierre Flener, Brahim Hnich:
Schema-Guided Synthesis of CLP Programs. 309-312 - Julian Richardson:
Abstract: Proof Planning with Program Schemas. 313-315 - Patrick Bellot, Bernard J. Robinet:
Logical Synthesis of Imperative O. O. Programs. 316-318 - Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili:
Mathematical Foundations for Program Transformations. 319-321 - David A. Rosenblueth:
An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs. 322-324 - Wim Vanhoof, Danny De Schreye, Bern Martens:
Bottom-Up Specialisation of Logic Programs. 325-327 - Sarah Mallet, Mireille Ducassé:
Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. 328-330
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-11-20 21:05 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:
