Skip to main content
SpringerLink
Log in
Book cover

Programming Languages: Implementations, Logics, and Programs

9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Hugh Glaser
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pieter Hartel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Herbert Kuchen
    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 1292)

Included in the following conference series:

Conference proceedings info: PLILP 1997.

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

  1. Front Matter

    Download chapter PDF

  2. Narrowing the narrowing space

    • Sergio Antoy, Zena M. Ariola
    Pages 1-15

  3. An object calculus with algebraic rewriting

    • Adriana Compagnoni, Maribel Fernández
    Pages 17-31

  4. Inheritance and selective method dispatching in concurrent Haskell

    • José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz
    Pages 33-46

  5. Overriding operators in a mixin-based framework

    • Davide Ancona, Elena Zucca
    Pages 47-61

  6. Resolution for logic programming with universal quantifiers

    • Antony F. Bowers, Patricia M. Hill, Francisco Ibañez
    Pages 63-77

  7. A declarative approach to concurrent programming

    • Steve Gregory
    Pages 79-93

  8. Transformation of divide & conquer to nested parallel loops

    • Christoph A. Herrmann, Christian Lengauer
    Pages 95-109

  9. Transforming lazy functions using comportment properties

    • Ross Paterson
    Pages 111-125

  10. Transformations for efficient evaluations in functional programming

    • Salvador Lucas
    Pages 127-141

  11. Inline expansion: When and how?

    • Manuel Serrano
    Pages 143-157

  12. Higher-order value flow graphs

    • Christian Mossin
    Pages 159-173

  13. Intuitionistic implication in abstract interpretation

    • Roberto Giacobazzi, Francesca Scozzari
    Pages 175-189

  14. An open-ended finite domain constraint solver

    • Mats Carlsson, Greger Ottosson, Björn Carlson
    Pages 191-206

  15. Semantics and compilation of recursive sequential streams in 81/2

    • Jean-Louis Giavitto, Dominique De Vito, Olivier Michel
    Pages 207-223

  16. Implementation of term rewritings with the evaluation strategy

    • Kazuhiro Ogata, Kokichi Futatsugi
    Pages 225-239

  17. Reflections on reflections

    • Gilles Barthel, John Hatcliff, Morten Heine Sørensen
    Pages 241-258

  18. Evaluation under lambda abstraction

    • Hongwei Xi
    Pages 259-273

  19. Selective recomputation for handling side-effects in parallel logic programs

    • Zhiyi Huang, Chengzheng Sun, Abdul Sattar
    Pages 275-289

  20. Tracing lazy functional computations using redex trails

    • Jan Sparud, Colin Runciman
    Pages 291-308
Back to top

Other volumes

  1. Programming Languages: Implementations, Logics, and Programs

  2. Algebraic and Logic Programming

Keywords

About this book

This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.
The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation