Related Books

Semantics of Programming Languages
Language: en
Pages: 450
Authors: Carl A. Gunter
Categories: Programming languages (Electronic computers)
Type: BOOK - Published: 1992 - Publisher: MIT Press

DOWNLOAD EBOOK

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It intro
The Formal Semantics of Programming Languages
Language: en
Pages: 388
Authors: Glynn Winskel
Categories: Computers
Type: BOOK - Published: 1993-02-05 - Publisher: MIT Press

DOWNLOAD EBOOK

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logi
Programming Languages and Operational Semantics
Language: en
Pages: 211
Authors: Maribel Fernández
Categories: Computers
Type: BOOK - Published: 2014-07-08 - Publisher: Springer

DOWNLOAD EBOOK

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programmi
Introduction to the Theory of Programming Languages
Language: en
Pages: 102
Authors: Gilles Dowek
Categories: Computers
Type: BOOK - Published: 2010-12-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever
A Theory of Programming Language Semantics
Language: en
Pages: 380
Authors: Robert Milne
Categories: Computers
Type: BOOK - Published: 1976 - Publisher: Chapman & Hall

DOWNLOAD EBOOK

This book explores how to formalize semantics in various programming languages.