Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Lecture Notes in Computer Science

Semantics-Directed Compiler Generation

Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

Editors: Jones, N.D. (Ed.)

Free Preview

Buy this book

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

Table of contents (17 chapters)

Table of contents (17 chapters)
  • Transforming denotational semantics into practical attribute grammars

    Pages 1-69

    Ganzinger, Harald

  • Compiler generation from denotational semantics

    Pages 70-93

    Jones, Neil D. (et al.)

  • From standard to implementation denotational semantics

    Pages 94-139

    Raskovsky, Martin (et al.)

  • Specification of compilers as abstract data type representations

    Pages 140-164

    Gaudel, M. C.

  • More on advice on structuring compilers and proving them correct

    Pages 165-188

    Thatcher, James W. (et al.)

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Semantics-Directed Compiler Generation
Book Subtitle
Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980
Editors
  • N.D. Jones
Series Title
Lecture Notes in Computer Science
Series Volume
94
Copyright
1980
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-38339-0
DOI
10.1007/3-540-10250-7
Softcover ISBN
978-3-540-10250-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
V, 490
Topics