Programming Languages and Operational Semantics

Programming Languages and Operational Semantics
Author : Maribel Fernández
Publisher : Springer
Total Pages : 209
Release : 2014-07-08
ISBN 10 : 9781447163688
ISBN 13 : 1447163680
Language : EN, FR, DE, ES & NL

Programming Languages and Operational Semantics Book Description:

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.


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

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
Notes on Operational Semantics of Abstract Data Types and Programming Languages
Language: en
Pages: 39
Authors: A. Poigné
Categories: Computers
Type: BOOK - Published: 1983 - Publisher:

Books about Notes on Operational Semantics of Abstract Data Types and Programming Languages
Semantics of Programming Languages
Language: en
Pages: 419
Authors: Carl A. Gunter
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: MIT Press

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will
Notes on operational semantics of abstract data types and programming languages
Language: de
Pages: 39
Authors: Axel Poigné
Categories: Computers
Type: BOOK - Published: 1983 - Publisher:

Books about Notes on operational semantics of abstract data types and programming languages
Introduction to the Theory of Programming Languages
Language: en
Pages: 96
Authors: Gilles Dowek, Jean-Jacques Lévy
Categories: Computers
Type: BOOK - Published: 2010-12-09 - Publisher: Springer Science & Business Media

The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerized systems. Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to think, design,