Conferences in DBLP
María Alpuente , Marco Comini , Santiago Escobar , Moreno Falaschi , Salvador Lucas Abstract Diagnosis of Functional Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Gutiérrez , Blas C. Ruiz A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene. [Citation Graph (0, 0)][DBLP ] Conf ] Slim Abdennadher , Christophe Rigotti Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Gianluigi Greco , Sergio Greco , Irina Trubitsyna , Ester Zumpano Translating Datalog-Like Optimization Queries into ILOG Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Roger Clayton , John G. Cleary , Bernhard Pfahringer , Mark Utting Tabling Structures for Bottom-Up Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Gianluca Amato , Francesca Scozzari A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Axel Simon , Andy King , Jacob M. Howe Two Variables per Linear Inequality as an Abstract Domain. [Citation Graph (0, 0)][DBLP ] Conf ] Julio C. Peralta , John P. Gallagher Convex Hull Abstractions in Specialization of CLP Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy Mazur , Gerda Janssens , Wim Vanhoof Collecting Potential Optimisations. [Citation Graph (0, 0)][DBLP ] Conf ] Maribel Fernández , Paula Severi An Operational Approach to Program Extraction in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Colvin , Ian J. Hayes , David Hemer , Paul A. Strooper Refinement of Higher-Order Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Berghammer A Generic Program for Minimal Subsets with Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Hai-Feng Guo , C. R. Ramakrishnan , I. V. Ramakrishnan Justification Based on Program Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti Combining Logic Programs and Monadic Second Order Logics by Program Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco-Jesús Martín-Mateos , José-Antonio Alonso , María-José Hidalgo , José-Luis Ruiz-Reina Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers. [Citation Graph (0, 0)][DBLP ] Conf ] Annalisa Bossi , Riccardo Focardi , Carla Piazza , Sabina Rossi A Proof System for Information Flow Security. [Citation Graph (0, 0)][DBLP ] Conf ] Germán Vidal Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Wim Vanhoof , Remko Tronçon , Maurice Bruynooghe A Fixed Point Semantics for Logic Programs Extended with Cuts. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Gruner Abstract Partial Deduction Challenged. [Citation Graph (0, 0)][DBLP ] Conf ] Kung-Kiu Lau , Mario Ornaghi Towards Correct Object-Oriented Design Frameworks in Computational Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Christiano de O. Braga , Edward Hermann Haeusler , José Meseguer , Peter D. Mosses Mapping Modular SOS to Rewriting Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Kiyoshi Akama , Ekawit Nantajeewarawat , Hidekatsu Koike Program Synthesis Based on the Equivalent Transformation Computation Model. [Citation Graph (0, 0)][DBLP ] Conf ] 