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: 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: 304
Pages: 304
Type: BOOK - Published: 2014-12-03 - Publisher: Springer
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive defi
Language: en
Pages: 546
Pages: 546
Type: BOOK - Published: 2003 - Publisher: Cambridge University Press
A comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.
