Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

✍ Scribed by Claude Kirchner, Patrick Viry (auth.), Pierre Deransart, Jan Maluszyński (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1990
• Tongue: English
• Leaves: 409
• Series: Lecture Notes in Computer Science 456
• Edition: 1
• Category: Library

✦ Synopsis

This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (PLILP '90) held in Linköping, Sweden, August 20-22, 1990. The aim of the workshop was to identify concepts and techniques used both in implementation of programming languages, regardless of the underlying programming paradigm, and in logic programming. The intention was to bring together researchers working in these fields. The volume includes 26 selected papers falling into two categories. Papers in the first category present certain ideas from the point of view of a particular class of programming languages, or even a particular language. The ideas presented seem to be applicable in other classes of languages. Papers in the second category directly address the problem of integration of various programming paradigms. The proceedings of the predecessor workshop PLILP '88, held in Orléans, France, May 16-18, 1988, are available as Lecture Notes in Computer Science, Vol. 348.

✦ Table of Contents

Implementing parallel rewriting....Pages 1-15
Compilation of narrowing....Pages 16-29
Inference-based overloading resolution for ADA....Pages 30-44
An approach to verifiable compiling specification and prototyping....Pages 45-59
Bug localization by algorithmic debugging and program slicing....Pages 60-74
A constraint logic programming shell....Pages 75-88
Modifying the simplex algorithm to a constraint solver....Pages 89-105
Implementing a meta-logical scheme....Pages 106-120
The vienna abstract machine....Pages 121-135
A new data structure for implementing extensions to Prolog....Pages 136-150
Finding the least fixed point using wait-declarations in Prolog....Pages 151-158
Elementary logic programs....Pages 159-173
A new presburger arithmetic decision procedure based on extended prolog execution....Pages 174-188
Reasoning about programs with effects....Pages 189-203
Towards a characterization of termination of logic programs....Pages 204-221
Static type analysis of prolog procedures for ensuring correctness....Pages 222-237
Integrating strict and lazy evaluation: the λ sl -calculus....Pages 238-254
Efficient data representation in polymorphic languages....Pages 255-276
A logic-based approach to data flow analysis problems....Pages 277-292
Systematic semantic approximations of logic programs....Pages 293-306
Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity....Pages 307-323
On the automatic generation of events in delta prolog....Pages 324-339
Compilation of non-linear, second order patterns on S-expressions....Pages 340-357
Pattern matching in a functional transformation language using treeparsing....Pages 358-371
Logic programming within a functional framework....Pages 372-386
Compiling logic programs with equality....Pages 387-401

✦ Subjects

Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Programming Techniques; Software Engineering