Related Books
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: 450
Pages: 450
Type: BOOK - Published: 1992 - Publisher: MIT Press
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It intro
Language: en
Pages: 211
Pages: 211
Type: BOOK - Published: 2014-07-08 - Publisher: Springer
This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programmi
Language: en
Pages: 380
Pages: 380
Type: BOOK - Published: 1976 - Publisher: Chapman & Hall
This book explores how to formalize semantics in various programming languages.
Language: en
Pages: 664
Pages: 664
Type: BOOK - Published: 1995 - Publisher: Addison-Wesley Longman
With this book, readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts. The bo