Programming Languages and Operational Semantics

A Concise Overview

AvMaribel Fernández

Häftad, Engelska, 2014

Del i serien Undergraduate Topics in Computer Science

440 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2014-03-19
Mått:155 x 235 x 12 mm
Vikt:324 g
Format:Häftad
Språk:Engelska
Serie:Undergraduate Topics in Computer Science
Antal sidor:209
Förlag:Springer London Ltd
ISBN:9781447163671

Utforska kategorier

Programmeringsböcker inom Data och IT

Recensioner i media

From the book reviews: "This text can serve as a complement to traditional undergraduate programming language course resources or as the main textbook for introductory courses in programming language operational semantics. The book is well organized, flows well, and is pleasant to read. ... Summing Up: Recommended. Upper-division undergraduates and faculty." (D. Papamichail, Choice, Vol. 52 (5), January, 2015) "There are many things in this book that would lead to its recommendation as a course textbook: it provides a good breadth of material, and a stepping stone from programming experience to more theoretical aspects of programming languages. ... it would be an excellent addition to a reference list that could be used to inform a solid understanding of programming language theory." (Sara Kalvala, Computing Reviews, July, 2014)

Innehållsförteckning

Introduction.- Mathematical Background.- General Features of Imperative Languages.- Operational Semantics of Imperative Languages.- General Features of Functional Languages.- Operational Semantics of Functional Languages.- General Features of Logic Programming Languages.- Operational Semantics of Prolog.- Answers to Selected Exercises.