Conferences in DBLP
Catuscia Palamidessi Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Dale Miller Specifications Using Multiple-Conclusion Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Paige Viewing A Program Transformation System At Work. [Citation Graph (0, 0)][DBLP ] Conf ] Takashi Chikayama , Tetsuro Fujise , Daigo Sekita A Portable and Efficient Implementation of KL1. [Citation Graph (0, 0)][DBLP ] Conf ] Donald A. Smith Why Multi-SLD Beats SLD (Even on a Uniprocessor). [Citation Graph (0, 0)][DBLP ] Conf ] Enea Zaffanella , Roberto Giacobazzi , Giorgio Levi Abstracting Synchronization in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Tarau , Ulrich Neumerkel A Novel Term Compression Scheme and Data Representation in the BinWAM. [Citation Graph (0, 0)][DBLP ] Conf ] Johan Bevemyr , Thomas Lindgren A Simple and Efficient Copying Garbage Collector for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfram Schulte Deriving Residual Reference Count Garbage Collectors. [Citation Graph (0, 0)][DBLP ] Conf ] Mikael Pettersson RML - A New Language and Implementation for Natural Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Lutz H. Hamel , Joseph A. Goguen Towards a Provably Correct Compiler for OBJ3. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Voronkov An Implementation Technique for a Class of Bottom-Up Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Glück , Morten Heine Sørensen Partial Deduction and Driving are Equivalent. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Moreau , Christian Queinnec Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Birkedal , Morten Welinder Hand-Writing Program Generator Generators. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Bugliesi , Hasan M. Jamil A Logic for Encapsulation in Object Oriented Languages. [Citation Graph (2, 0)][DBLP ] Conf ] Thom W. Frühwirth Annotated Constraint Logic Programming Applied to Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Codognet , Daniel Diaz clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. [Citation Graph (0, 0)][DBLP ] Conf ] François Fages , Julian Fowler , Thierry Sola Handling Preferences in Constraint Logic Programming with Relational Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Silvia Breitinger , Hendrik C. R. Lock Improving Search for Job-Shop Scheduling with CLP(FD). [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Brogi , A. Chiarelli , Paolo Mancarella , V. Mazzotta , Dino Pedreschi , Chiara Renso , Franco Turini Implementations of Program Composition Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Codognet , Philippe Codognet , Vincenzo Loia , Michel Quaggetto Sleepers: A Versatile High-Level Control Mechanism. [Citation Graph (0, 0)][DBLP ] Conf ] Timo Metzemakers , Alain Miniussi , David Sherman , Robert Strandh Improving Arithmetic Performance using Fine-Grain Unfolding. [Citation Graph (0, 0)][DBLP ] Conf ] Manolis Gergatsoulis , Maria Katzouraki Unfold/Fold Transformations For Definite Clause Programs. [Citation Graph (0, 0)][DBLP ] Conf ] John Maraist , Frank S. K. Silbermann A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Hanus Combining Lazy Narrowing and Simplification. [Citation Graph (0, 0)][DBLP ] Conf ] Puri Arenas-Sánchez , Ana Gil-Luezas , Francisco Javier López-Fraguas Combining Lazy Narrowing with Disequality Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Gerda Janssens , Maurice Bruynooghe , Vincent Englebert Abstracting Numerical Values in CLP(H, N). [Citation Graph (0, 0)][DBLP ] Conf ] John Field , Frank Tip Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. [Citation Graph (0, 0)][DBLP ] Conf ] Dmitri Boulanger , Maurice Bruynooghe , Marc Denecker Abstracting s-semantincs Using A Model-Theoretic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Serrano Using Higher-Order Control Flow Analysis When Compiling Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Feliks Kluzniak , Miroslawa Milkowska Readable, Runnable Requirements Specifications in SPILL-2. [Citation Graph (0, 0)][DBLP ] Conf ] José Paulo Leal A System to Visualize and Interact with Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Johannes-Bernhard Hundehege , Wolfram-Manfred Lippe , U. Xanten Semantic-Based Static Program Transformations for Memory Space and Run Time Optimization in Hybrid Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Georgios Grivas Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Odinaldo Rodrigues , Mario R. F. Benevides PROMAL - Programming in Modal Action Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Khaled Bsaïes Implementing the Synthesis of Properties in Unfold/Fold Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Sáenz , Werner Hans , José J. Ruz , Stephan Winkler Shared Memory System for Babel: a VHDL Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Abdelkader Belkhir , Namick Nemouche Towards Integrating Functional and Logic Styles Using Relation. [Citation Graph (0, 0)][DBLP ] Conf ] Jonas Barklund Tabulation of Functions in Definite Clause Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Mantsivoda Flang System: A new Version. [Citation Graph (0, 0)][DBLP ] Conf ] 