Metasoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science) - Softcover

Softcover

ISBN 10: 0387186573 ISBN 13: 9780387186573

Publisher: 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

Edition details

• Publisher: Springer-Verlag
• Publication date: 1987
• ISBN 10: 0387186573
• ISBN 13: 9780387186573
• Binding: Paperback
• Language: English