More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours 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 (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
  • 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 (2 chapters)

  • A rewriting logic for declarative programming

    J. C. González-Moreno, M. T. Hortalá-González, F. J. López-Fraguas, M. Rodríguez-Artalejo

    Pages 156-172

  • Modular denotational semantics for compiler construction

    Sheng Liang, Paul Hudak

    Pages 219-234

Buy this book

eBook $89.00
price for USA (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
  • 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