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. Springer 1990 Lecture Notes in Computer Science ISBN 3-540-53010-X
Implementation of Term Rewriting
- Andy Mück: Compilation of Narrowing. 16-29
Algorithmic Programming
- Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya: An Approach to Verifiable Compiling Specification and Prototyping. 45-59
- Mariam Kamkar, Nahid Shahmehri, Peter Fritzson: Bug Localization by Algorithmic Debugging and Program Slicing. 60-74
Constraint Logic Programming
- Juhani Jaakola: Modifying the Simplex Algorithm to a Constraint Solver. 89-105
Implementation of Logic Programming
- Serge Le Huitouze: A New Data Structure for Implementing Extensions to Prolog. 136-150
Logic Programming
- Dan Sahlin: Finding the Least Fixed Point Using Wait-Declarations in Prolog. 151-158
- Laurent Fribourg: A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution. 174-188
Static Analysis
- Pierre De Boeck, Baudouin Le Charlier: Static Type Analysis of Prolog Procedures for Ensuring Correctness. 222-237
Functional Programming
- Andrea Asperti: Integrating Strict and Lazy Evaluation: The lambda-sl-Calculus. 238-254
- Xavier Leroy: Efficient Data Representation in Polymorphic Languages. 255-276
Abstract Interpretation
- Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm: A Logic-Based Approach to Data Flow Analysis Problem. 277-292
- Ulf Nilsson: Systematic Semantic Approximations of Logic Programs. 293-306
- François Bourdoncle: Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity. 307-323
- Veroniek Dumortier, Maurice Bruynooghe: On the Automatic Generation of Events in Delta Prolog. 324-339
Implementation of Pattern Matching
- Christian Queinnec: Compilation of Non-Linear, Second Order Patterns on S-Expressions. 340-357
- Christian Ferdinand: Pattern Matching in a Functional Transformation Language using Treeparsing. 358-371
Integration of Logic Programming and Functional Programming
- Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Logic Programming within a Functional Framework. 372-386
- Michael Hanus: Compiling Logic Programs with Equality. 387-400
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team