MetaSoft Primer
Andrzej Blikle
Broschiertes Buch

MetaSoft Primer

Towards a Metalanguage for Applied Denotational Semantics

Herausgegeben: Barstow, D.; Brauer, W.; Brinch Hansen, P.; Gries, D.; Luckham, D.; Moler, C.; Pnueli, A.; Seegmüller, G.; Stoer, J.
Versandkostenfrei!
Versandfertig in 1-2 Wochen
39,99 €
inkl. MwSt.
PAYBACK Punkte
20 °P sammeln!
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...