Programming Languages and Operational Semantics

A Concise Overview
2014
ISBN: 978-1-4471-6367-1
Verlag: Springer

Buch, Englisch, 209 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 3401 g

Reihe: Undergraduate Topics in Computer Science

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.

Zielgruppe

Lower undergraduate

Autoren/Hrsg.

Fernández, Maribel

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Compiler
• Mathematik | Informatik EDV | Informatik Informatik Theoretische Informatik

Inhaltsverzeichnis

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.