Recomienda este artículo a tus amigos:
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics - Lecture Notes in Computer Science Andrzej Blikle 1987 edition
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics - Lecture Notes in Computer Science
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 25 de noviembre de 1987 |
| ISBN13 | 9783540186571 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 148 |
| Dimensiones | 155 × 235 × 8 mm · 231 g |
| Lengua | Inglés |
| 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 |