Conferences in DBLP
Norbert E. Fuchs , Uta Schwertel , Rolf Schwitter Attempto Controlled English - Not Just Another Logic Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Dante Baldan , Baudouin Le Charlier , Christophe Leclère , Isabelle Pollet A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. [Citation Graph (0, 0)][DBLP ] Conf ] David Stuart Robertson , Jaume Agustí-Cullell Pragmatics in the Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey Van Baalen , Steve Roach Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Avellone , Mauro Ferrari , Pierangelo Miglioli Synthesis of Programs in Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Kung-Kiu Lau , Mario Ornaghi OOD Frameworks in Component-Based Software - Development in Computational Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Brogi , Simone Contiero , Franco Turini The Use of Renaming in Composing General Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Hamfelt , Jørgen Fischer Nilsson Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Annalisa Bossi , Sabina Rossi Specialising Logic Programs with Respect to Call?Post Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Glück , John Hatcliff , Jesper Jørgensen Generalization in Hierarchies of Online Program Specialization Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Leuschel Improving Homeomorphic Embedding for Online Termination. [Citation Graph (0, 0)][DBLP ] Conf ] Annalisa Bossi , Nicoletta Cocco Success in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Hoarau , Frédéric Mesnard Inferring and Compiling Termination for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Tihomir Gabric , Kevin Glynn , Harald Søndergaard Strictness Analysis as Finite-Domain Constraint Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Jamie Stark , Andrew Ireland Invariant Discovery via Failed Proof Attempts. [Citation Graph (0, 0)][DBLP ] Conf ] Jan-Georg Smaus , Patricia M. Hill , Andy King Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Wolper Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Hamza Zidoum , Pierre Flener , Brahim Hnich Schema-Guided Synthesis of CLP Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Julian Richardson Abstract: Proof Planning with Program Schemas. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Bellot , Bernard Robinet Logical Synthesis of Imperative O. O. Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Rahma Ben Ayed , Jules Desharnais , Marc Frappier , Ali Mili Mathematical Foundations for Program Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Rosenblueth An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Wim Vanhoof , Danny De Schreye , Bern Martens Bottom-Up Specialisation of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Sarah Mallet , Mireille Ducassé Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] 