
Tell your friends about this item:
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics - Lecture Notes in Computer Science 1987 edition
Andrzej Blikle
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics - Lecture Notes in Computer Science 1987 edition
Andrzej Blikle
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.
164 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | November 25, 1987 |
ISBN13 | 9783540186571 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 148 |
Dimensions | 155 × 235 × 8 mm · 231 g |
Language | English |
Editor | Barstow, Don |
Editor | Brauer, W. |
Editor | Brinch Hansen, P. |
Editor | Gries, D. |
Editor | Luckham, David |
Editor | Moler, C. |
Editor | Pnueli, Amir |
Editor | Seegmuller, G. |
Editor | Stoer, Josef |
See all of Andrzej Blikle ( e.g. Paperback Book )