Skip to main content
SpringerLink
Log in

Programming Language Implementation and Logic Programming

6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Manuel Hermenegildo
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jaan Penjam
    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 844)

Included in the following conference series:

Conference proceedings info: PLILP 1994.

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 (41 papers)

  1. Front Matter

    Download chapter PDF

  2. Concurrent constraint programming

    • Catuscia Palamidessi
    Pages 1-2

  3. Specifications using multiple-conclusion logic programs

    • Dale Miller
    Pages 3-4

  4. Viewing a program transformation system at work

    • Robert Paige
    Pages 5-24

  5. A portable and efficient implementation of KL1

    • Takashi Chikayama, Tetsuro Fujise, Daigo Sekita
    Pages 25-39

  6. Why Multi-SLD beats SLD (even on a uniprocessor)

    • Donald A. Smith
    Pages 40-56

  7. Abstracting synchronization in concurrent constraint programming

    • Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
    Pages 57-72

  8. A novel term compression scheme and data representation in the BinWAM

    • Paul Tarau, Ulrich Neumerkel
    Pages 73-87

  9. A simple and efficient copying garbage collector for prolog

    • Johan Bevemyr, Thomas Lindgren
    Pages 88-101

  10. Deriving residual reference count garbage collectors

    • Wolfram Schulte
    Pages 102-116

  11. RML — A new language and implementation for Natural Semantics

    • Mikael Pettersson
    Pages 117-131

  12. Towards a provably correct compiler for OBJ3

    • Lutz H. Hamel, Joseph A. Goguen
    Pages 132-146

  13. An implementation technique for a class of bottom-up procedures

    • Andrei Voronkov
    Pages 147-164

  14. Partial deduction and driving are equivalent

    • Robert Glück, Morten Heine Sørensen
    Pages 165-181

  15. Partial continuations as the difference of continuations a duumvirate of control operators

    • Luc Moreau, Christian Queinnec
    Pages 182-197

  16. Hand-writing program generator generators

    • Lars Birkedal, Morten Welinder
    Pages 198-214

  17. A logic for encapsulation in object oriented languages

    • Michele Bugliesi, Hasan M. Jamil
    Pages 215-229

  18. Annotated constraint logic programming applied to temporal reasoning

    • Thom Frühwirth
    Pages 230-243

  19. Clp(B): Combining simplicity and efficiency in boolean Constraint solving

    • Philippe Codognet, Daniel Diaz
    Pages 244-260

  20. Handling preferences in constraint logic programming with relational optimization

    • François Fages, Julian Fowler, Thierry Sola
    Pages 261-276
Back to top

Other volumes

  1. Programming Language Implementation and Logic Programming

  2. Algebraic and Logic Programming

Keywords

About this book

This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27 full research papers selected from 67 submissions as well as abstracts of full versions of 3 invited talks by renowned researchers and abstracts of 11 system demonstrations and poster presentations. Among the topics covered are parallelism and concurrency; implementation techniques; partial evaluation, synthesis, and language issues; constraint programming; meta-programming and program transformation; functional-logic programming; and program analysis and abstract interpretation.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation