Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Computer Science

ESOP '90

3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings

Editors: Jones, Neil (Ed.)

Free Preview

Buy this book

eBook $54.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47045-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-540-52592-9
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this book

This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing fundamental issues and important developments in the design, specification and implementation of programming languages and systems. Topics include: - Program development: specification, methodology, tools, environments; - Programming language concepts: types, data abstraction, parallelism, real-time; - Language implementation techniques: compilers, interpreters, abstract machine design, optimization; - Programs as data objects: abstract interpretation, program transformation, partial evaluation; - Programming styles: imperative, functional, predicative, object-oriented.

Table of contents (26 chapters)

Table of contents (26 chapters)
  • Types in lambda calculi and programming languages

    Pages 1-35

    Barendregt, Henk (et al.)

  • Symbolic finite differencing - Part I

    Pages 36-56

    Paige, Robert

  • Implementation of an interpreter for a parallel language in centaur

    Pages 57-69

    Bertot, Yves

  • Automatic autoprojection of higher order recursive equations

    Pages 70-87

    Bondorf, Anders

  • From interpreting to compiling binding times

    Pages 88-105

    Consel, Charles (et al.)

Buy this book

eBook $54.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47045-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-540-52592-9
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
ESOP '90
Book Subtitle
3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
Editors
  • Neil Jones
Series Title
Lecture Notes in Computer Science
Series Volume
432
Copyright
1990
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47045-8
DOI
10.1007/3-540-52592-0
Softcover ISBN
978-3-540-52592-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
IX, 440
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.