Conferences in DBLP
Jonathan M. Lever Program Equivalence, Program Development and Integrity Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Pierangelo Miglioli , Ugo Moscato , Mario Ornaghi Program Specification and Synthesis in Constructive Formal Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Geraint A. Wiggins , Alan Bundy , Ina Kraan , Jane Hesketh Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Flener , Yves Deville Towards Stepwise, Schema-guided Synthesis of Logic Programms. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus P. Jantke , Ulf Goldhammer Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] M. G. Read , E. A. Kazmierczak Formal Program Development in Modular Prolog: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Lubos Popelínsky Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Mattias Waldau Formal Validation of Transformation Schemata. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert E. Fuchs , Markus P. J. Fromherz Schema-Based Transfomations of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Proietti , Alberto Pettorossi An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Francis Alexandre , Khaled Bsaïes , Alain Quéré On Using Mode Input-output for Transforming Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Lecoutre , Philippe Devienne , Patrick Lebègue Abstract Interpretation and Recursive Behaviour of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jutta Eusterbrock Speed-up Transformations of Logic Programs by Abstraction and Learning. [Citation Graph (0, 0)][DBLP ] Conf ] P. M. Mill Pruning Operators for Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] D. Andre de Waal , John P. Gallagher Specialisation of a Unification Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Brian J. Ross Semantics-based Partial Evaluation of Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Parrain , Philippe Devienne , Patrick Lebègue Prolog Program Transformations and Meta-Interpreters. [Citation Graph (0, 0)][DBLP ] Conf ] S. Schaeck Global Search Algorithms and the Constraint Logic Programming Framework (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Matthew M. Huntbach Automated Translation of Occam to a Concurrent Logic Language. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Noël A Method for the Determinisation of Propositional Temporal Formulae. [Citation Graph (0, 0)][DBLP ] Conf ] Yamine Aït Ameur Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Christine Solnon , Michel Rueher Using a Prolog Prototype for Designing an Object Oriented Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Antoy Non-Determinism and Lazy Evaluation in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Zhuoan Jiao , Peter M. D. Gray Query Optimization in an Object-Oriented Database using Prolog (Extende Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] 