8. PLILP 1996: Aachen, Germany

@proceedings{DBLP:conf/plilp/1996,
  editor    = {Herbert Kuchen and
               S. Doaitse Swierstra},
  title     = {Programming Languages: Implementations, Logics, and Programs,
               8th International Symposium, PLILP'96, Aachen, Germany, September
               24-27, 1996, Proceedings},
  booktitle = {PLILP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1140},
  year      = {1996},
  isbn      = {3-540-61756-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

• Lambert G. L. T. Meertens: Calculate Polytypically! 1-16 BibTeX

Typing and Structuring Systems

• Stefan Kahrs: Limits of ML-Definability. 17-31 BibTeX
• Gianna Bellè, C. Barry Jay, Eugenio Moggi: Functorial ML. 32-46 BibTeX
• Pascale Louvet, Olivier Ridoux: Parametric Polymorphism for Typed Prolog and lambda-Prolog. 47-61 BibTeX
• Joaquín Mateos-Lago, Mario Rodríguez-Artalejo: GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies. 62-76 BibTeX

Progam Analysis

• Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo: Towards Independent And-Parallelism in CLP. 77-91 BibTeX
• Geoffrey Weyer, William H. Winsborough: Annotated Structure Shape Graphs for Abstract Analysis of Prolog. 92-106 BibTeX
• Roberto Bagnara: A Reactive Implementation of Pos Using ROBDDs. 107-121 BibTeX
• Didier Parigot, Gilles Roussel, Martin Jourdan, Étienne Duris: Dynamic Attribute Grammars. 122-136 BibTeX

Program Transformation

• Michael Leuschel, Danny De Schreye: Logic Program Specialisation: How To Be More Specific. 137-151 BibTeX
• Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen: Controlling Conjunctive Partial Deduction. 152-166 BibTeX
• Nicoletta De Francesco, Antonella Santone: Unfold/Fold Transformations of Concurrent Processes. 167-181 BibTeX
• Olivier Danvy, René Vestergaard: Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation. 182-197 BibTeX
• Peter Thiemann: Implementing Memoization for Partial Evaluation. 198-212 BibTeX
• Geoff W. Hamilton: Higher Order Deforestation. 213-227 BibTeX

Implementation Issues

• Christoph W. Keßler: Scheduling Expression DAGs for Minimal Register Need. 228-242 BibTeX
• Juliana Freire, Terrance Swift, David Scott Warren: Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. 243-258 BibTeX
• Xining Li: Program Sharing: A New Implementation Approach for Prolog. 259-273 BibTeX

Concurrent and Parallel Programming

• Sergei Gorlatch: Systematic Extraction and Implementation of Divide-and-Conquer Parallelism. 274-288 BibTeX
• Luis A. Galán, Cristóbal Pareja, Ricardo Pena: Functional Skeletons Generate Process Topologies in Eden. 289-303 BibTeX
• Thomas Gehrke, Michaela Huhn: ProFun - A Language for Executable Specifications. 304-318 BibTeX
• Maribel Fernández, Ian Mackie: From Term Rewriting to Generalised Interaction Nets. 319-333 BibTeX

Tools and Programming Environments

• Maria Virginia Aponte, Roberto Di Cosmo: Type Isomorphisms for Module Signatures. 334-346 BibTeX
• Salvatore Ruggieri: Decidability of Logic Program Semantics and Applications to Testing. 347-362 BibTeX
• Enno Scholz: PIDGETS - Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI Programming. 363-377 BibTeX

Lambda-Calculus and Rewriting

• Fairouz Kamareddine, Alejandro Ríos: Generalized beta-Reduction and Explicit Substitution. 378-392 BibTeX
• Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose: Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. 393-407 BibTeX
• Salvador Lucas: Context-Sensitive Computations in Confluent Programs. 408-422 BibTeX

Constraints

• Peter J. Stuckey, Vincent Tam: Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. 423-437 BibTeX
• Peter Van Roy, Michael Mehl, Ralf Scheidhauer: Integrating Efficient Records into Concurrent Constraint Programming. 438-453 BibTeX

Deductive Database Languages

• Mengchi Liu: The LOL Deductive Database Programming Language (Extended Abstract). 454-468 BibTeX

Posters and Demonstrations

• Christian Fecht: An Efficient and Precise Sharing Domain for Logic Programs. 469-470 BibTeX
• Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Cheap Tupling in Calculational Form. 471-472 BibTeX
• Sergio Antoy: Needed Narrowing in Prolog (Extended Abstract). 473-474 BibTeX
• Germán Puebla, Manuel V. Hermenegildo: Automatic Optimization of Dynamic Scheduling in Logic Programs. 475-476 BibTeX
• Christian Schulte: Oz Explorer: A Visual Constraint Programming Tool. 477-478 BibTeX