Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1990

Programming Language Implementation and Logic Programming

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

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)

Conference series link(s): ALP: International Conference on Algebraic and Logic Programming

Conference proceedings info: PLILP 1990.

Sections

Buy it now

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

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

Table of contents (26 papers)

  1. Front Matter

    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

  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

  13. Elementary logic programs

    • Paul Tarau, Michel Boyer
    Pages 159-173

  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

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

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

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation