Shop the Archives and get your next eBook for just 14.99! Stock up today >>

Lecture Notes in Computer Science

Programming Languages and Systems - ESOP '96

6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings

Editors: Nielson, Hanne R. (Ed.)

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-49942-8
  • 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 in USD
  • ISBN 978-3-540-61055-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996.
The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques.

Table of contents (25 chapters)

  • Some practical problems and their influence on semantics

    Jones, Cliff B

    Pages 1-17

  • Compiling Haskell by program transformation: A report from the trenches

    Jones, Simon L Peyton

    Pages 18-44

  • Narrowing-driven partial evaluation of functional logic programs

    Alpuente, M. (et al.)

    Pages 45-61

  • A multiple-valued logical semantics for Prolog

    Barbuti, Roberto (et al.)

    Pages 62-76

  • Removing value encoding using alternative values in partial evaluation of strongly-typed languages

    Bechet, Denis

    Pages 77-91

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-49942-8
  • 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 in USD
  • ISBN 978-3-540-61055-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Programming Languages and Systems - ESOP '96
Book Subtitle
6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings
Editors
  • Hanne R. Nielson
Series Title
Lecture Notes in Computer Science
Series Volume
1058
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49942-8
DOI
10.1007/3-540-61055-3
Softcover ISBN
978-3-540-61055-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 410
Topics