Programming Language Implementation and Logic Programming International Workshop PLILP ̀90, Linköping, Sweden, August 20-22, 1990. Proceedings / edited by Pierre Deransart, Jan Maluszynski.

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...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Deransart, Pierre (Editor), Maluszynski, Jan (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990.
Edition:	1st ed. 1990.
Series:	Lecture Notes in Computer Science, 456 Springer eBook Collection.
Subjects:	Computers. Programming languages (Electronic computers). Mathematical logic. Artificial intelligence. Computer logic. Computer programming. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

Implementing parallel rewriting
Compilation of narrowing
Inference-based overloading resolution for ADA
An approach to verifiable compiling specification and prototyping
Bug localization by algorithmic debugging and program slicing
A constraint logic programming shell
Modifying the simplex algorithm to a constraint solver
Implementing a meta-logical scheme
The vienna abstract machine
A new data structure for implementing extensions to Prolog
Finding the least fixed point using wait-declarations in Prolog
Elementary logic programs
A new presburger arithmetic decision procedure based on extended prolog execution
Reasoning about programs with effects
Towards a characterization of termination of logic programs
Static type analysis of prolog procedures for ensuring correctness
Integrating strict and lazy evaluation: the ?sl-calculus
Efficient data representation in polymorphic languages
A logic-based approach to data flow analysis problems
Systematic semantic approximations of logic programs
Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity
On the automatic generation of events in delta prolog
Compilation of non-linear, second order patterns on S-expressions
Pattern matching in a functional transformation language using treeparsing
Logic programming within a functional framework
Compiling logic programs with equality.

Programming Language Implementation and Logic Programming International Workshop PLILP ̀90, Linköping, Sweden, August 20-22, 1990. Proceedings / edited by Pierre Deransart, Jan Maluszynski.

Similar Items