Conferences in DBLP
Claude Kirchner , Patrick Viry Implementing Parallel Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Andy Mück Compilation of Narrowing. [Citation Graph (0, 0)][DBLP ] Conf ] Franz-Josef Grosch , Gregor Snelting Inference-Based Overloading Resolution for ADA. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan P. Bowen , Jifeng He , Paritosh K. Pandya An Approach to Verifiable Compiling Specification and Prototyping. [Citation Graph (0, 0)][DBLP ] Conf ] Mariam Kamkar , Nahid Shahmehri , Peter Fritzson Bug Localization by Algorithmic Debugging and Program Slicing. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Lim , Peter J. Stuckey A Constraint Logic Programming Shell. [Citation Graph (0, 0)][DBLP ] Conf ] Juhani Jaakola Modifying the Simplex Algorithm to a Constraint Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Lim , David Morley Implementing a Meta-Logical Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Krall , Ulrich Neumerkel The Vienna Abstract Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Le Huitouze A New Data Structure for Implementing Extensions to Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Sahlin Finding the Least Fixed Point Using Wait-Declarations in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Tarau , Michel Boyer Elementary Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Fribourg A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Ian A. Mason , Carolyn L. Talcott Reasoning About Programs with Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Bal Wang , R. K. Shyamasundar Towards a Characterization of Termination of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre De Boeck , Baudouin Le Charlier Static Type Analysis of Prolog Procedures for Ensuring Correctness. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Asperti Integrating Strict and Lazy Evaluation: The lambda-sl-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Xavier Leroy Efficient Data Representation in Polymorphic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Shmuel Sagiv , Nissim Francez , Michael Rodeh , Reinhard Wilhelm A Logic-Based Approach to Data Flow Analysis Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Ulf Nilsson Systematic Semantic Approximations of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] François Bourdoncle Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity. [Citation Graph (0, 0)][DBLP ] Conf ] Veroniek Dumortier , Maurice Bruynooghe On the Automatic Generation of Events in Delta Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Queinnec Compilation of Non-Linear, Second Order Patterns on S-Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Ferdinand Pattern Matching in a Functional Transformation Language using Treeparsing. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Brogi , Paolo Mancarella , Dino Pedreschi , Franco Turini Logic Programming within a Functional Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus Compiling Logic Programs with Equality. [Citation Graph (0, 0)][DBLP ] Conf ] 