Hundreds of Mathematics books at half price + FREE shipping! Get yours now >>

Lecture Notes in Computer Science

ESOP '88

2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings

Editors: Ganzinger, Harald (Ed.)

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-38941-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-19027-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel architectures and optimization of functional programs to new concepts for programming environments is covered. Another large section consists of papers in the area of algebraic specification and type concepts. The papers in this section are devoted to issues such as polymorphism, subtypes and notions of implementation and reuse for algebraic specifications. Two further sections are devoted to new language concepts and novel approaches to program development and verification.

Table of contents (5 chapters)

  • Type inference with subtypes

    You-Chin Fuh, Prateek Mishra

    Pages 94-114

  • A theory of software reusability

    M. C. Gaudel, Th. Moineau

    Pages 115-130

  • Parametric overloading in polymorphic programming languages

    Stefan Kaes

    Pages 131-144

  • Deforestation: Transforming programs to eliminate trees

    Philip Wadler

    Pages 344-358

  • The PSG system: From formal language definitions to interactive programming environments

    Rolf Bahlke, Gregor Snelting

    Pages 373-375

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
ESOP '88
Book Subtitle
2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
Editors
  • Harald Ganzinger
Series Title
Lecture Notes in Computer Science
Series Volume
300
Copyright
1988
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-38941-5
DOI
10.1007/3-540-19027-9
Softcover ISBN
978-3-540-19027-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VI, 383
Topics