7. PLILP 1995: Utrecht, The Netherlands

Invited Talks

• Oege de Moor:
  A Generic Program for Sequential Decision Processes. 1-23
  
• Kim Marriott:
  Parsing Visual Languages with Constraint Multiset Grammars. 24-25
  
• Mark P. Jones:
  Programming with Constructor Classes (Abstract). 26
  

Functional Programming

• Rémi Douence, Pascal Fradet:
  Towards a Taxonomy of Functional Languages Implementations. 27-44
  
• Fairouz Kamareddine, Alejandro Ríos:
  A Lambda-Calculus `a la de Bruijn with Explicit Substitutions. 45-62
  

Narrowing

• Heinz Faßbender:
  A Verified Implementation of Narrowing. 63-80
  
• Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing:
  A New Strategy for Semantic Matching. 81-96
  
• Koichi Nakahara, Aart Middeldorp, Tetsuo Ida:
  A Complete Narrowing Calculus for Higher-Order Functional Logic Programming. 97-114
  

Implementation

• Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren:
  Exploiting Parallelism in Tabled Evaluations. 115-132
  
• Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan:
  Design and Implementation of Jump Tables for Fast Indexing of Logic Programs. 133-150
  
• Michael Mehl, Ralf Scheidhauer, Christian Schulte:
  An Abstract Machine for Oz. 151-168
  

Abstract Interpretation and Typing

• Alan Mycroft, Kirsten Lackner Solberg:
  Uniform PERs and Comportment Analysis. 169-187
  
• Erik Barendsen, Sjaak Smetsers:
  Uniqueness Type Inference. 189-206
  
• Barton C. Massey, Evan Tick:
  Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions. 207-222
  

Transformation

• Wei-Ngan Chin, Siau-Cheng Khoo:
  Better Consumers for Deforestation (Extended Abstract). 223-240
  
• Markus Mohnen:
  Efficient Compile-Time Garbage Collection for Arbitrary Data Structures. 241-258
  

Partial evaluation

• Robert Glück, Jesper Jørgensen:
  Efficient Multi-level Generating Extensions for Program Specialization. 259-278
  
• John Hatcliff:
  Mechanically Verifying the Correctness of an Offline Partial Evaluator. 279-298
  
• Fritz Henglein, David Sands:
  A Semantic Model of Binding Times for Safe Partial Evaluation. 299-320
  

Graphical User Interfaces

• Rob Noble, Colin Runciman:
  Gadgets: Lazy Functional Components for Graphical User Interfaces. 321-340
  
• Ton Vullinghs, Daniel Tuinman, Wolfram Schulte:
  Lightweight GUIs for Functional Programming. 341-356
  

Logic Programming Theory

• Hugh McEvoy, Pieter H. Hartel:
  Local Linear Logic for Locality Consciousness in Multiset Transformation. 357-379
  
• Jean-Hugues Réty:
  The Notion of Floundering for SLDNF-Resolution Revisited. 380-396
  
• Puri Arenas-Sánchez, Agostino Dovier:
  Minimal Set Unification. 397-414
  
• Yuka Shimajiri, Hiroshi Seki, Hidenori Itoh:
  Goal-Directed Query Processing in Disjunctive Logic Databases. 415-430
  
• Livio Colussi, Elena Marchiori, Massimo Marchiori:
  A Dataflow Semantics for Constraint Logic Programs. 431-448
  

Posters and Demonstrations

• Peter Achten:
  A Functional Framework for Deterministically Interleaved Interactive Programs. 451-452
  
• Puri Arenas-Sánchez, Ana Gil-Luezas:
  A Debugging Model for Lazy Narrowing. 453-454
  
• Xavier Burgués Illa, Xavier Franch:
  Evaluation of Expressions in a Multiparadigm Framework. 455-456
  
• Werner Hans, Fernando Sáenz, Stephan Winkler:
  An Expression-Or-Parallel Implementation for a Functional Logic Language. 457-458
  
• Merik Meriste, Jaan Penjam:
  Attributed Models of Executable Specifications. 459-460
  
• Hüseyin Saglam, John P. Gallagher:
  Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions. 461-462
  
• Bo-Ming Tong, Ho-Fung Leung:
  Performance of A Data-Parallel Concurrent Constraint Programming System. 463-464
  
• Jens E. Wunderwald:
  A Portable Implementation of Memoing Evaluation. 465-466