Programming Languages and Operational Semantics

Programming Languages and Operational Semantics
Author :
Publisher : Springer
Total Pages : 211
Release :
ISBN-10 : 9781447163688
ISBN-13 : 1447163680
Rating : 4/5 (680 Downloads)

Book Synopsis Programming Languages and Operational Semantics by : Maribel Fernández

Download or read book Programming Languages and Operational Semantics written by Maribel Fernández and published by Springer. This book was released on 2014-07-08 with total page 211 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for undergraduate students. Each chapter includes exercises which provide the opportunity to apply the concepts and techniques presented.


Programming Languages and Operational Semantics Related Books

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
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
Semantics of Programming Languages
Language: en
Pages: 450
Authors: Carl A. Gunter
Categories: 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
Concrete Semantics
Language: en
Pages: 304
Authors: Tobias Nipkow
Categories: Computers
Type: BOOK - Published: 2014-12-03 - Publisher: Springer

DOWNLOAD EBOOK

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
Types and Programming Languages
Language: en
Pages: 646
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 2002-01-04 - Publisher: MIT Press

DOWNLOAD EBOOK

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er