Skip to main content
SpringerLink
Log in

Programming Languages: Implementations, Logics, and Programs

8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Herbert Kuchen
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. S. Doaitse Swierstra
    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 1140)

Included in the following conference series:

Conference proceedings info: PLILP 1996.

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

  1. Front Matter

    Download chapter PDF

  2. Calculate polytypically!

    • Lambert Meertens
    Pages 1-16

  3. Limits of ML-definability

    • Stefan Kahrs
    Pages 17-31

  4. Functorial ML

    • G. Bellè, C. B. Jay, E. Moggi
    Pages 32-46

  5. Parametric polymorphism for typed Prolog and λProlog

    • Pascale Louvet, Olivier Ridoux
    Pages 47-61

  6. GOTA algebras: A specification formalism for inheritance and object hierarchies

    • Joaquín Mateos-Lago, Mario Rodríguez-Artalejo
    Pages 62-76

  7. Towards independent and-parallelism in CLP

    • María García de la Banda, Francisco Bueno, Manuel Hermenegildo
    Pages 77-91

  8. Annotated structure shape graphs for abstract analysis of Prolog

    • Geoffrey Weyer, William Winsborough
    Pages 92-106

  9. A reactive implementation of Pos using ROBDDs

    • Roberto Bagnara
    Pages 107-121

  10. Dynamic Attribute Grammars

    • Didier Parigot, Gilles Roussel, Martin Jourdan, Étienne Duris
    Pages 122-136

  11. Logic program specialisation: How to be more specific

    • Michael Leuschel, Danny De Schreye
    Pages 137-151

  12. Controlling conjunctive partial deduction

    • Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen
    Pages 152-166

  13. Unfold/Fold transformations of concurrent processes

    • Nicoletta De Francesco, Antonella Santone
    Pages 167-181

  14. Semantics-based compiling: A case study in type-directed partial evaluation

    • Olivier Danvy, René Vestergaard
    Pages 182-197

  15. Implementing memoization for partial evaluation

    • Peter Thiemann
    Pages 198-212

  16. Higher order deforestation

    • G. W. Hamilton
    Pages 213-227

  17. Scheduling expression DAGs for minimal register need

    • Christoph W. Keßler
    Pages 228-242

  18. Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies

    • Juliana Freire, Terrance Swift, David S. Warren
    Pages 243-258

  19. Program Sharing: A new implementation approach for Prolog

    • Xining Li
    Pages 259-273

  20. Systematic extraction and implementation of divide-and-conquer parallelism

    • Sergei Gorlatch
    Pages 274-288
Back to top

Other volumes

  1. Algebraic and Logic Programming

  2. Programming Languages: Implementations, Logics, and Programs

Keywords

About this book

This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP '96, held in conjunction with ALP and SAS in Aachen, Germany, in September 1996.
The 30 revised full papers presented in the volume were selected from a total of 97 submissions; also included are one invited contribution by Lambert Meerlens and five posters and demonstrations. The papers are organized in topical sections on typing and structuring systems, program analysis, program transformation, implementation issues, concurrent and parallel programming, tools and programming environments, lambda-calculus and rewriting, constraints, and deductive database languages.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation