2. PLILP 1990: Linköping, Sweden

Pierre Deransart, Jan Maluszynski (Eds.): Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings. Lecture Notes in Computer Science 456 Springer 1990, ISBN 3-540-53010-X BibTeX

@proceedings{DBLP:conf/plilp/1990,
  editor    = {Pierre Deransart and
               Jan Maluszynski},
  title     = {Programming Language Implementation and Logic Programming, 2nd
               International Workshop PLILP'90, Link{\"o}ping, Sweden, August
               20-22, 1990, Proceedings},
  booktitle = {PLILP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {456},
  year      = {1990},
  isbn      = {3-540-53010-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Implementation of Term Rewriting

Claude Kirchner, Patrick Viry: Implementing Parallel Rewriting. 1-15 BibTeX
Andy Mück: Compilation of Narrowing. 16-29 BibTeX

Algorithmic Programming

Franz-Josef Grosch, Gregor Snelting: Inference-Based Overloading Resolution for ADA. 30-44 BibTeX
Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya: An Approach to Verifiable Compiling Specification and Prototyping. 45-59 BibTeX
Mariam Kamkar, Nahid Shahmehri, Peter Fritzson: Bug Localization by Algorithmic Debugging and Program Slicing. 60-74 BibTeX

Constraint Logic Programming

Pierre Lim, Peter J. Stuckey: A Constraint Logic Programming Shell. 75-88 BibTeX
Juhani Jaakola: Modifying the Simplex Algorithm to a Constraint Solver. 89-105 BibTeX
Pierre Lim, David N. Morley: Implementing a Meta-Logical Scheme. 106-120 BibTeX

Implementation of Logic Programming

Andreas Krall, Ulrich Neumerkel: The Vienna Abstract Machine. 121-135 BibTeX
Serge Le Huitouze: A New Data Structure for Implementing Extensions to Prolog. 136-150 BibTeX

Logic Programming

Dan Sahlin: Finding the Least Fixed Point Using Wait-Declarations in Prolog. 151-158 BibTeX
Paul Tarau, Michel Boyer: Elementary Logic Programs. 159-173 BibTeX
Laurent Fribourg: A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution. 174-188 BibTeX

Static Analysis

Ian A. Mason, Carolyn L. Talcott: Reasoning About Programs with Effects. 189-203 BibTeX
Bal Wang, R. K. Shyamasundar: Towards a Characterization of Termination of Logic Programs. 204-221 BibTeX
Pierre De Boeck, Baudouin Le Charlier: Static Type Analysis of Prolog Procedures for Ensuring Correctness. 222-237 BibTeX

Functional Programming

Andrea Asperti: Integrating Strict and Lazy Evaluation: The lambda-sl-Calculus. 238-254 BibTeX
Xavier Leroy: Efficient Data Representation in Polymorphic Languages. 255-276 BibTeX

Abstract Interpretation

Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm: A Logic-Based Approach to Data Flow Analysis Problem. 277-292 BibTeX
Ulf Nilsson: Systematic Semantic Approximations of Logic Programs. 293-306 BibTeX
François Bourdoncle: Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity. 307-323 BibTeX
Veroniek Dumortier, Maurice Bruynooghe: On the Automatic Generation of Events in Delta Prolog. 324-339 BibTeX

Implementation of Pattern Matching

Christian Queinnec: Compilation of Non-Linear, Second Order Patterns on S-Expressions. 340-357 BibTeX
Christian Ferdinand: Pattern Matching in a Functional Transformation Language using Treeparsing. 358-371 BibTeX

Integration of Logic Programming and Functional Programming

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Logic Programming within a Functional Framework. 372-386 BibTeX
Michael Hanus: Compiling Logic Programs with Equality. 387-400 BibTeX