6. PLILP 1994: Madrid, Spain

Invited Talks

• Catuscia Palamidessi:
  Concurrent Constraint Programming. 1-2
  
• Dale Miller:
  Specifications Using Multiple-Conclusion Logic Programs. 3-4
  
• Robert Paige:
  Viewing A Program Transformation System At Work. 5-24
  

Parallelism and Concurrency

• Takashi Chikayama, Tetsuro Fujise, Daigo Sekita:
  A Portable and Efficient Implementation of KL1. 25-39
  
• Donald A. Smith:
  Why Multi-SLD Beats SLD (Even on a Uniprocessor). 40-56
  
• Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi:
  Abstracting Synchronization in Concurrent Constraint Programming. 57-72
  

Implementation Techniques

• Paul Tarau, Ulrich Neumerkel:
  A Novel Term Compression Scheme and Data Representation in the BinWAM. 73-87
  
• Johan Bevemyr, Thomas Lindgren:
  A Simple and Efficient Copying Garbage Collector for Prolog. 88-101
  
• Wolfram Schulte:
  Deriving Residual Reference Count Garbage Collectors. 102-116
  
• Mikael Pettersson:
  RML - A New Language and Implementation for Natural Semantics. 117-131
  
• Lutz H. Hamel, Joseph A. Goguen:
  Towards a Provably Correct Compiler for OBJ3. 132-146
  
• Andrei Voronkov:
  An Implementation Technique for a Class of Bottom-Up Procedures. 147-164
  

Partial Evaluation, Synthesis and Language Issues

• Robert Glück, Morten Heine Sørensen:
  Partial Deduction and Driving are Equivalent. 165-181
  
• Luc Moreau, Christian Queinnec:
  Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators. 182-197
  
• Lars Birkedal, Morten Welinder:
  Hand-Writing Program Generator Generators. 198-214
  
• Michele Bugliesi, Hasan M. Jamil:
  A Logic for Encapsulation in Object Oriented Languages. 215-229
  

Constraint Programming

• Thom W. Frühwirth:
  Annotated Constraint Logic Programming Applied to Temporal Reasoning. 230-243
  
• Philippe Codognet, Daniel Diaz:
  clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. 244-260
  
• François Fages, Julian Fowler, Thierry Sola:
  Handling Preferences in Constraint Logic Programming with Relational Optimization. 261-276
  
• Silvia Breitinger, Hendrik C. R. Lock:
  Improving Search for Job-Shop Scheduling with CLP(FD). 277-291
  

Meta-Programming and Program Transformation

• Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini:
  Implementations of Program Composition Operations. 292-307
  
• Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto:
  Sleepers: A Versatile High-Level Control Mechanism. 308-323
  
• Timo Metzemakers, Alain Miniussi, David Sherman, Robert Strandh:
  Improving Arithmetic Performance using Fine-Grain Unfolding. 324-339
  
• Manolis Gergatsoulis, Maria Katzouraki:
  Unfold/Fold Transformations For Definite Clause Programs. 340-354
  

Functional-logic Programming

• John Maraist, Frank S. K. Silbermann:
  A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages. 355-369
  
• Michael Hanus:
  Combining Lazy Narrowing and Simplification. 370-384
  
• Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas:
  Combining Lazy Narrowing with Disequality Constraints. 385-399
  

Program Analysis and Abstract Interpretation

• Gerda Janssens, Maurice Bruynooghe, Vincent Englebert:
  Abstracting Numerical Values in CLP(H, N). 400-414
  
• John Field, Frank Tip:
  Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. 415-431
  
• Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker:
  Abstracting s-semantincs Using A Model-Theoretic Approach. 432-446
  

Abstract of System Demonstrations and Posters

• Manuel Serrano:
  Using Higher-Order Control Flow Analysis When Compiling Functional Languages. 447-448
  
• Feliks Kluzniak, Miroslawa Milkowska:
  Readable, Runnable Requirements Specifications in SPILL-2. 449-450
  
• José Paulo Leal:
  A System to Visualize and Interact with Prolog Programs. 451-452
  
• Johannes-Bernhard Hundehege, Wolfram-Manfred Lippe, U. Xanten:
  Semantic-Based Static Program Transformations for Memory Space and Run Time Optimization in Hybrid Languages. 453-454
  
• Georgios Grivas:
  Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems. 455-456
  
• Odinaldo Rodrigues, Mario R. F. Benevides:
  PROMAL - Programming in Modal Action Logic. 457-458
  
• Khaled Bsaïes:
  Implementing the Synthesis of Properties in Unfold/Fold Transformations. 459-460
  
• Fernando Sáenz, Werner Hans, José J. Ruz, Stephan Winkler:
  Shared Memory System for Babel: a VHDL Specification. 461-462
  
• Abdelkader Belkhir, Namick Nemouche:
  Towards Integrating Functional and Logic Styles Using Relation. 463-464
  
• Jonas Barklund:
  Tabulation of Functions in Definite Clause Programs. 465-466
  
• Andrei Mantsivoda:
  Flang System: A new Version. 467-468