Related Books
Language: en
Pages: 150
Pages: 150
Type: BOOK - Published: 1986 - Publisher: Cambridge University Press
Basics - Notation - Lattices - A simple language - Direct semantics - Control - Data structures and data types - A prolog semantics - Miscellaneous.
Language: en
Pages: 54
Pages: 54
Type: BOOK - Published: 1989 - Publisher:
Language: en
Pages: 168
Pages: 168
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This book explains how to formally describe programming languages using the techniques of denotational semantics. The presentation is designed primarily for com
Language: en
Pages: 388
Pages: 388
Type: BOOK - Published: 1993-02-05 - Publisher: MIT Press
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logi
Language: en
Pages: 160
Pages: 160
Type: BOOK - Published: 1979 - Publisher:
