Lecture Notes in Computer Science

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: Glaser, Hugh, Hartel, Peter, Kuchen, Herbert (Eds.)

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-540-69537-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-540-63398-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (3 chapters)

  • Tracing lazy functional computations using redex trails

    Jan Sparud, Colin Runciman

    Pages 291-308

  • Teaching functional and logic programming with a single computation model

    Michael Hanus

    Pages 335-350

  • Automatic run-time code generation in object-oriented languages

    Nobuhisa Fujinami

    Pages 423-424

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-540-69537-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-540-63398-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Programming Languages: Implementations, Logics, and Programs
Book Subtitle
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
  • Peter Hartel
  • Herbert Kuchen
Series Title
Lecture Notes in Computer Science
Series Volume
1292
Copyright
1997
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69537-0
DOI
10.1007/BFb0033832
Softcover ISBN
978-3-540-63398-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 428
Topics