Lecture Notes in Computer Science

The Vienna Development Method: The Meta-Language

Editors: Bjorner, D., Jones, C.B. (Eds.)

Free Preview

Buy this book

eBook $29.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-35836-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $37.99
price for USA in USD

Table of contents (7 chapters)

Table of contents (7 chapters)
  • On the formalization of programming languages: Early history and main approaches

    Pages 1-23

    Lucas, Peter

  • Programming in the meta-language: A tutorial

    Pages 24-217

    Bjørner, Dines

  • The meta-language: A reference manual

    Pages 218-277

    Jones, Cliff B.

  • Denotational semantics of goto: An exit formulation and its relation to continuations

    Pages 278-304

    Jones, Cliff B.

  • A formal definition of ALGOL 60 as described in the 1975 modified report

    Pages 305-336

    Henhapl, Wolfgang (et al.)

Buy this book

eBook $29.99
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-35836-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $37.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The Vienna Development Method: The Meta-Language
Editors
  • D. Bjorner
  • C.B. Jones
Series Title
Lecture Notes in Computer Science
Series Volume
61
Copyright
1978
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-35836-7
DOI
10.1007/3-540-08766-4
Softcover ISBN
978-3-540-08766-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XX, 384
Topics