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

Lecture Notes in Computer Science
cover

MetaSoft Primer

Towards a Metalanguage for Applied Denotational Semantics

Authors: Blikle, Andrzej

Editors: Barstow, D., Brauer, W., Brinch Hansen, P., Gries, D., Luckham, D., Moler, C., Pnueli, A., Seegmüller, G., Stoer, J., Wirth, N. (Eds.)

Buy this book

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

The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the project MetaSoft aimed at the development of a definitional metalanguage for software engineering. The approach has also been chosen in the project RAISE (ESPRIT) which aims at a similar goal. The book consists of two parts. Part One is devoted to the mathematical foundations of the future definitional metalanguage of MetaSoft. This part also introduces an appropriate notation. Part Two shows the applications of this metalanguage. There the denotational definition of a subset of Pascal is discussed with particular emphasis on Pascal types.

Table of contents (2 chapters)

Table of contents (2 chapters)
  • Denotational constructors

    Pages 1-82

  • An example definition of a subset of Pacal

    Pages 83-135

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
MetaSoft Primer
Book Subtitle
Towards a Metalanguage for Applied Denotational Semantics
Authors
Editors
  • D. Barstow
  • W. Brauer
  • P. Brinch Hansen
  • D. Gries
  • D. Luckham
  • C. Moler
  • A. Pnueli
  • G. Seegmüller
  • Josef Stoer
  • N. Wirth
Series Title
Lecture Notes in Computer Science
Series Volume
288
Copyright
1987
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48043-3
DOI
10.1007/3-540-18657-3
Softcover ISBN
978-3-540-18657-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XVI, 148
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 and instructor copies are not included.