Conferences in DBLP
Baoqiu Cui , Yifei Dong , Xiaoqun Du , K. Narayan Kumar , C. R. Ramakrishnan , I. V. Ramakrishnan , Abhik Roychoudhury , Scott A. Smolka , David Scott Warren Logic Programming and Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Demoen , Konstantinos F. Sagonas CAT: The Copying Approach to Tabling. [Citation Graph (0, 0)][DBLP ] Conf ] Jesper Eskilson , Mats Carlsson SICStus MT - A Multithreaded Execution Environment for SICStus Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Wim Vanhoof , Danny De Schreye , Bern Martens A Framework for Bottom Up Specialisation of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jan-Georg Smaus , Patricia M. Hill , Andy King Termination of Logic Programs with block Declarations Running in Several Modes. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Codish , Harald Søndergaard The Boolean Logic of Set Sharing Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Levi , Paolo Volpe Derivation of Proof Methods by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Bruynooghe , Henk Vandecasteele , D. Andre de Waal , Marc Denecker Detecting Unsolvable Queries for Definite Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] John Hatcliff , Matthew B. Dwyer , Shawn Laubach Staging Static Analyses Using Abstraction-Based Program Specialization. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Levi , Fausto Spoto An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Consel , Renaud Marlet Architecture Software Using: A Methodology for Language Development. [Citation Graph (0, 0)][DBLP ] Conf ] Delia Kesner , Pablo E. Martínez López Explicit Substitutions for Objects and Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Pontelli , Desh Ranjan , Gopal Gupta The Complexity of Late-Binding in Dynamic Object-Oriented Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre-Etienne Moreau , Hélène Kirchner A Compiler for Rewrite Programs in Associative-Commutative Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Takahito Aoto Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Limet , Frédéric Saubion A General Framework for R-Unification Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew M. Pitts Operational Versus Denotational Methods in the Semantics of Higher Order Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Conal Elliott Functional Implementations of Continuos Modeled Animation. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Feeley , Martin Larose Compiling Erlang to Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Silvia Breitinger , Ulrike Klusik , Rita Loogen From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View. [Citation Graph (0, 0)][DBLP ] Conf ] David Wakeling Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine. [Citation Graph (0, 0)][DBLP ] Conf ] John Hannan Program Analysis in Lambda-Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Di Cosmo , Jean-Vincent Loddo , Stephane Nicolet A Game Semantics Foundation for Logic Programming (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus , Frank Steiner Controlling Search in Declarative Programs. [Citation Graph (0, 0)][DBLP ] Conf ] James Lipton , Robert McGrail Encapsulating Data in Logic Programming via Categorial Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] John G. Cleary , Lunjin Lu Constructive Negation Using Typed Existence Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Asperti Optimal Reduction of Functional Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Puri Arenas-Sánchez , Francisco Javier López-Fraguas , Mario Rodrúguez-Arteljo Embedding Multiset Constraints into a Lazy Functional Logic Language. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Goguen , Grant Malcolm , Tom Kemp A Hidden Herbrand Theorem. [Citation Graph (0, 0)][DBLP ] Conf ] Farid Ajili , Hendrik C. R. Lock Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Refalo Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method. [Citation Graph (0, 0)][DBLP ] Conf ] 