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

  • Editors
  • Hugh Glaser
  • Pieter Hartel
  • Herbert Kuchen
Conference proceedings PLILP 1997

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

Table of contents

  1. Front Matter
  2. Sergio Antoy, Zena M. Ariola
    Pages 1-15
  3. Adriana Compagnoni, Maribel Fernández
    Pages 17-31
  4. José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz
    Pages 33-46
  5. Davide Ancona, Elena Zucca
    Pages 47-61
  6. Antony F. Bowers, Patricia M. Hill, Francisco Ibañez
    Pages 63-77
  7. Christoph A. Herrmann, Christian Lengauer
    Pages 95-109
  8. Manuel Serrano
    Pages 143-157
  9. Christian Mossin
    Pages 159-173
  10. Roberto Giacobazzi, Francesca Scozzari
    Pages 175-189
  11. Mats Carlsson, Greger Ottosson, Björn Carlson
    Pages 191-206
  12. Jean-Louis Giavitto, Dominique De Vito, Olivier Michel
    Pages 207-223
  13. Kazuhiro Ogata, Kokichi Futatsugi
    Pages 225-239
  14. Gilles Barthel, John Hatcliff, Morten Heine Sørensen
    Pages 241-258
  15. Hongwei Xi
    Pages 259-273
  16. Zhiyi Huang, Chengzheng Sun, Abdul Sattar
    Pages 275-289
  17. Jan Sparud, Colin Runciman
    Pages 291-308

About these proceedings


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.


Constraint Erlang Haskell ML Rack declarative programming functional programming logic logic programming program analysis program languages design program languages implementation programming programming language semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63398-3
  • Online ISBN 978-3-540-69537-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book