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: 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
Formal Syntax and Semantics of Programming Languages
Language: en
Pages: 664
Authors: Kenneth Slonneger
Categories: Computers
Type: BOOK - Published: 1995 - Publisher: Addison-Wesley Longman

DOWNLOAD EBOOK

With this book, readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts. The bo
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