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 (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 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
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
Foundations of Probabilistic Logic Programming
Language: en
Pages: 548
Authors: Fabrizio Riguzzi
Categories: Computers
Type: BOOK - Published: 2023-07-07 - Publisher: CRC Press

DOWNLOAD EBOOK

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for infer
Mathematical Aspects of Logic Programming Semantics
Language: en
Pages: 307
Authors: Pascal Hitzler
Categories: Computers
Type: BOOK - Published: 2016-04-19 - Publisher: CRC Press

DOWNLOAD EBOOK

Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for th
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