Programming Languages and Operational Semantics

Programming Languages and Operational Semantics
Author :
Publisher : Springer
Total Pages : 209
Release :
ISBN-10 : 9781447163688
ISBN-13 : 1447163680
Rating : 4/5 (88 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 209 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: 209
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: 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 Semantics of Programming Languages
Language: en
Pages: 182
Authors: Matthew Hennessy
Categories: Programming languages (Electronic computers)
Type: BOOK - Published: 1990 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Arithmetic expressions; A simple functional language; More languages; Computation semantics; Parallelism; Bibliography; Index.
Semantics with Applications: An Appetizer
Language: en
Pages: 274
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