BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Metasoft Primer: Towards a Metalanguage for Applied Denotational Semantics
Stock photo: cover may vary

Metasoft Primer: Towards a Metalanguage for Applied Denotational Semantics Paperback - 1987

by Andrzej Blikle; D. Barstow (Editor); W. Brauer (Editor)

Add to wish list

Reader reviews for Metasoft Primer: Towards a Metalanguage for Applied Denotational Semantics

From the publisher

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.

Details

  • Title Metasoft Primer: Towards a Metalanguage for Applied Denotational Semantics
  • Author Andrzej Blikle; D. Barstow (Editor); W. Brauer (Editor)
  • Binding Paperback
  • Edition First
  • Pages 148
  • Volumes 1
  • Language ENG
  • Publisher Springer, Berlin
  • Publication date 1987-11-25
  • ISBN 9783540186571 / 3540186573
  • Weight 0.51 lbs (0.23 kg)
  • Dimensions 9.21 x 6.14 x 0.34 in (23.39 x 15.60 x 0.86 cm)
  • Category Computers - General Information
  • Dewey Decimal Code 005.131

More Copies for Sale

MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics

MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics

by Andrzej Blikle

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540186571 / 3540186573
Quantity available
626
Seller
Item price
A$105.20
A$15.57 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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 t
Add to wish list
Item price
A$105.20
A$15.57 Delivery to USA
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in...
Stock photo: cover may vary

MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science, 288)

by Blikle, Andrzej

  • New
  • Paperback
Condition
New
Edition
1987
Binding
Paperback
ISBN 10 / ISBN 13
9783540186571 / 3540186573
Quantity available
6
Seller
Item price
A$104.80
Free Delivery to USA

Show details

Description:
Springer, 1987-11-25. 1987. paperback. New. 6.10x0.37x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$104.80
Free Delivery to USA
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics

MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics

by Andrzej Blikle

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540186571 / 3540186573
Quantity available
10
Seller
Item price
A$153.62
A$19.40 Delivery to USA

Show details

Description:
Paperback / softback. New. 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.
Add to wish list
Item price
A$153.62
A$19.40 Delivery to USA
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in...
Stock photo: cover may vary

MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science, 288)

by Blikle, Andrzej

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540186571 / 3540186573
Quantity available
1
Seller
Item price
A$128.93
Free Delivery to USA

Show details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$128.93
Free Delivery to USA