Conferences in DBLP
Catuscia Palamidessi Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:1-2 [Conf ] Dale Miller Specifications Using Multiple-Conclusion Logic Programs. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:3-4 [Conf ] Robert Paige Viewing A Program Transformation System At Work. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:5-24 [Conf ] Takashi Chikayama , Tetsuro Fujise , Daigo Sekita A Portable and Efficient Implementation of KL1. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:25-39 [Conf ] Donald A. Smith Why Multi-SLD Beats SLD (Even on a Uniprocessor). [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:40-56 [Conf ] Enea Zaffanella , Roberto Giacobazzi , Giorgio Levi Abstracting Synchronization in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:57-72 [Conf ] Paul Tarau , Ulrich Neumerkel A Novel Term Compression Scheme and Data Representation in the BinWAM. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:73-87 [Conf ] Johan Bevemyr , Thomas Lindgren A Simple and Efficient Copying Garbage Collector for Prolog. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:88-101 [Conf ] Wolfram Schulte Deriving Residual Reference Count Garbage Collectors. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:102-116 [Conf ] Mikael Pettersson RML - A New Language and Implementation for Natural Semantics. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:117-131 [Conf ] Lutz H. Hamel , Joseph A. Goguen Towards a Provably Correct Compiler for OBJ3. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:132-146 [Conf ] Andrei Voronkov An Implementation Technique for a Class of Bottom-Up Procedures. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:147-164 [Conf ] Robert Glück , Morten Heine Sørensen Partial Deduction and Driving are Equivalent. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:165-181 [Conf ] Luc Moreau , Christian Queinnec Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:182-197 [Conf ] Lars Birkedal , Morten Welinder Hand-Writing Program Generator Generators. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:198-214 [Conf ] Michele Bugliesi , Hasan M. Jamil A Logic for Encapsulation in Object Oriented Languages. [Citation Graph (2, 0)][DBLP ] PLILP, 1994, pp:215-229 [Conf ] Thom W. Frühwirth Annotated Constraint Logic Programming Applied to Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:230-243 [Conf ] Philippe Codognet , Daniel Diaz clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:244-260 [Conf ] François Fages , Julian Fowler , Thierry Sola Handling Preferences in Constraint Logic Programming with Relational Optimization. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:261-276 [Conf ] Silvia Breitinger , Hendrik C. R. Lock Improving Search for Job-Shop Scheduling with CLP(FD). [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:277-291 [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 ] PLILP, 1994, pp:292-307 [Conf ] Christian Codognet , Philippe Codognet , Vincenzo Loia , Michel Quaggetto Sleepers: A Versatile High-Level Control Mechanism. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:308-323 [Conf ] Timo Metzemakers , Alain Miniussi , David Sherman , Robert Strandh Improving Arithmetic Performance using Fine-Grain Unfolding. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:324-339 [Conf ] Manolis Gergatsoulis , Maria Katzouraki Unfold/Fold Transformations For Definite Clause Programs. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:340-354 [Conf ] John Maraist , Frank S. K. Silbermann A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:355-369 [Conf ] Michael Hanus Combining Lazy Narrowing and Simplification. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:370-384 [Conf ] Puri Arenas-Sánchez , Ana Gil-Luezas , Francisco Javier López-Fraguas Combining Lazy Narrowing with Disequality Constraints. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:385-399 [Conf ] Gerda Janssens , Maurice Bruynooghe , Vincent Englebert Abstracting Numerical Values in CLP(H, N). [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:400-414 [Conf ] John Field , Frank Tip Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:415-431 [Conf ] Dmitri Boulanger , Maurice Bruynooghe , Marc Denecker Abstracting s-semantincs Using A Model-Theoretic Approach. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:432-446 [Conf ] Manuel Serrano Using Higher-Order Control Flow Analysis When Compiling Functional Languages. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:447-448 [Conf ] Feliks Kluzniak , Miroslawa Milkowska Readable, Runnable Requirements Specifications in SPILL-2. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:449-450 [Conf ] José Paulo Leal A System to Visualize and Interact with Prolog Programs. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:451-452 [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 ] PLILP, 1994, pp:453-454 [Conf ] Georgios Grivas Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:455-456 [Conf ] Odinaldo Rodrigues , Mario R. F. Benevides PROMAL - Programming in Modal Action Logic. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:457-458 [Conf ] Khaled Bsaïes Implementing the Synthesis of Properties in Unfold/Fold Transformations. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:459-460 [Conf ] Fernando Sáenz , Werner Hans , José J. Ruz , Stephan Winkler Shared Memory System for Babel: a VHDL Specification. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:461-462 [Conf ] Abdelkader Belkhir , Namick Nemouche Towards Integrating Functional and Logic Styles Using Relation. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:463-464 [Conf ] Jonas Barklund Tabulation of Functions in Definite Clause Programs. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:465-466 [Conf ] Andrei Mantsivoda Flang System: A new Version. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:467-468 [Conf ]