Metasoft Primer: Towards a Metalanguage for Applied Denotational Semantics - Couverture souple

Couverture souple

ISBN 10 : 0387186573 ISBN 13 : 9780387186573

Editeur : Springer-Verlag, 1987

Synopsis

Metasoft Primer 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-ind... Full description

Détails de l'édition

• Éditeur: Springer-Verlag
• Date d'édition: 1987
• ISBN 10: 0387186573
• ISBN 13: 9780387186573
• Reliure: Broché
• Langue: anglais
• Coordonnées du fabricant: non disponible