Conferences in DBLP
Michael Leuschel Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Jens E. Wunderwald Memoing Evaluation by Source-to-Source Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Annalisa Bossi , Nicoletta Cocco , Sandro Etalle Transformation of Left Terminating Programs: the Reordering Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Gregory Derivation of Concurrent Algorithms in Tempo. [Citation Graph (0, 0)][DBLP ] Conf ] Francesca Toni , Robert A. Kowalski An Argumentation-Theoretic Approach to Logic Program Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Aarts Complexity of Horn Programs. [Citation Graph (0, 0)][DBLP ] Conf ] María-del-Mar Gallardo , José M. Troya Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Mesnard Towards Automatic Control for CLP(x) Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Semeraro , Floriana Esposito , Donato Malerba Ideal Refinement of Datalog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Kreitz , Jens Otten , Stephan Schmitt Guiding Program Development Systems by a Connection Based Proof Strategy. [Citation Graph (0, 0)][DBLP ] Conf ] Kung-Kiu Lau , Mario Ornaghi Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew J. Parkes , Geraint A. Wiggins Logic Program Synthesis by Induction over Horn Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Flener , Yves Deville Logic Program Transformation through Generalization Schemata. [Citation Graph (0, 0)][DBLP ] Conf ] Wamberto Weber Vasconcelos , Norbert E. Fuchs An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] D. Andre de Waal , Michael Thielscher Solving Deductive Planning Problems Using Program Analysis and Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Sophie Renault Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Arts , Hans Zantema Termination of Logic Programs Using Semantic Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Glück On the Mechanics of Metasystem Hierarchies in Program Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus Efficient Translation of Lazy Functional Logic Programs into Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] 