Programming Languages and Operational Semantics

Programming Languages and Operational Semantics
Author :
Publisher : Springer
Total Pages : 211
Release :
ISBN-13 : 9781447163688
ISBN-10 : 1447163680
Rating : 4/5 (80 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
Semantics with Applications: An Appetizer
Language: en
Pages: 285
Authors: Hanne Riis Nielson
Categories: Computers
Type: BOOK - Published: 2007-04-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory pres
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