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

Theoretical Computer Science and General Issues

Programming Languages and Systems

17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

Editors: Drossopoulou, S (Ed.)

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-78739-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • 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-78738-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (29 chapters)

  • A Sound Semantics for OCaml light

    Owens, Scott

    Pages 1-15

  • Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!

    Matthews, Jacob (et al.)

    Pages 16-31

  • Regular Expression Subtyping for XML Query and Update Languages

    Cheney, James

    Pages 32-47

  • A Theory of Hygienic Macros

    Herman, David (et al.)

    Pages 48-62

  • A Hybrid Denotational Semantics for Hybrid Systems

    Bouissou, Olivier (et al.)

    Pages 63-77

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-78739-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • 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-78738-9
  • 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
Book Subtitle
17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
Editors
  • S Drossopoulou
Series Title
Theoretical Computer Science and General Issues
Series Volume
4960
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-78739-6
DOI
10.1007/978-3-540-78739-6
Softcover ISBN
978-3-540-78738-9
Edition Number
1
Number of Pages
XIII, 402
Topics