Maribel Fernández

Programming Languages and Operational Semantics

A Concise Overview

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Undergraduate Topics in Computer Science
• Verlag: Springer / Springer London / Springer, Berlin
• Artikelnr. des Verlages: 86204784, 978-1-4471-6367-1
• 2014
• Seitenzahl: 220
• Erscheinungstermin: 19. März 2014
• Englisch
• Abmessung: 235mm x 155mm x 13mm
• Gewicht: 360g
• ISBN-13: 9781447163671
• ISBN-10: 1447163672
• Artikelnr.: 40219975

Inhaltsangabe

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.

Rezensionen

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)