Skip to main content
SpringerLink
Log in
Book cover

Programming Language Implementation and Logic Programming

International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings

  • Conference proceedings
  • © 1990

Overview

Editors:
  1. Pierre Deransart
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan Maluszyński
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 456)

Included in the following conference series:

Conference proceedings info: PLILP 1990.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Implementing parallel rewriting

    • Claude Kirchner, Patrick Viry
    Pages 1-15

  3. Compilation of narrowing

    • Andy Mück
    Pages 16-29

  4. Inference-based overloading resolution for ADA

    • Franz-Josef Grosch, Gregor Snelting
    Pages 30-44

  5. An approach to verifiable compiling specification and prototyping

    • Jonathan Bowen, He Jifeng, Paritosh Pandya
    Pages 45-59

  6. Bug localization by algorithmic debugging and program slicing

    • Mariam Kamkar, Nahid Shahmehri, Peter Fritzson
    Pages 60-74

  7. A constraint logic programming shell

    • Pierre Lim, Peter J. Stuckey
    Pages 75-88

  8. Modifying the simplex algorithm to a constraint solver

    • Juhani Jaakola
    Pages 89-105

  9. Implementing a meta-logical scheme

    • Pierre Lim, David Morley
    Pages 106-120

  10. The vienna abstract machine

    • Andreas Krall, Ulrich Neumerkel
    Pages 121-135

  11. A new data structure for implementing extensions to Prolog

    • Serge Le Huitouze
    Pages 136-150

  12. Finding the least fixed point using wait-declarations in Prolog

    • Dan Sahlin
    Pages 151-158

  13. Elementary logic programs

    • Paul Tarau, Michel Boyer
    Pages 159-173

  14. A new presburger arithmetic decision procedure based on extended prolog execution

    • Laurent Fribourg
    Pages 174-188

  15. Reasoning about programs with effects

    • Ian Mason, Carolyn Talcott
    Pages 189-203

  16. Towards a characterization of termination of logic programs

    • B. Wang, R. K. Shyamasundar
    Pages 204-221

  17. Static type analysis of prolog procedures for ensuring correctness

    • Pierre De Boeck, Baudouin Le Charlier
    Pages 222-237

  18. Integrating strict and lazy evaluation: the λsl-calculus

    • Andrea Asperti
    Pages 238-254

  19. Efficient data representation in polymorphic languages

    • Xavier Leroy
    Pages 255-276

  20. A logic-based approach to data flow analysis problems

    • S. Sagiv, N. Francez, M. Rodeh, R. Wilhelm
    Pages 277-292
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation