Lecture Notes in Computer Science

Programs as Data Objects

Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985

Editors: Ganzinger, Harald, Jones, Neil (Eds.)

Free Preview

Buy this book

eBook $39.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-39786-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $49.99
price for USA in USD
  • ISBN 978-3-540-16446-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (17 chapters)

Table of contents (17 chapters)
  • Strictness analysis and polymorphic invariance

    Pages 1-23

    Abramsky, Samson

  • Convergent term rewriting systems can be used for program transformation

    Pages 24-41

    Bellegarde, Françoise

  • The theory of strictness analysis for higher order functions

    Pages 42-62

    Burn, GL (et al.)

  • Recognition of generative languages

    Pages 63-81

    Christiansen, Henning

  • Modular first-order specifications of operational semantics

    Pages 82-95

    Ganzinger, Harald

Buy this book

eBook $39.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-39786-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $49.99
price for USA in USD
  • ISBN 978-3-540-16446-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Programs as Data Objects
Book Subtitle
Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985
Editors
  • Harald Ganzinger
  • Neil Jones
Series Title
Lecture Notes in Computer Science
Series Volume
217
Copyright
1986
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39786-1
DOI
10.1007/3-540-16446-4
Softcover ISBN
978-3-540-16446-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 325
Topics