Programming Languages and Operational Semantics

A Concise Overview

  • Maribel Fernández

Part of the Undergraduate Topics in Computer Science book series (UTICS)

Table of contents

  1. Front Matter
    Pages i-ix
  2. Preliminaries

    1. Front Matter
      Pages 1-1
    2. Maribel Fernández
      Pages 3-19
    3. Maribel Fernández
      Pages 21-41
  3. Imperative Languages

    1. Front Matter
      Pages 43-43
    2. Maribel Fernández
      Pages 45-60
    3. Maribel Fernández
      Pages 61-90
  4. Functional Languages

    1. Front Matter
      Pages 91-91
    2. Maribel Fernández
      Pages 93-120
    3. Maribel Fernández
      Pages 121-151
  5. Logic Languages

    1. Front Matter
      Pages 153-153
    2. Maribel Fernández
      Pages 155-166
    3. Maribel Fernández
      Pages 167-177
    4. Maribel Fernández
      Pages 179-206
  6. Back Matter
    Pages 207-209

About this book


Providing a concise introduction to the essential concepts in programming languages, using techniques from operational semantics, this book highlights three major programming paradigms:

• Imperative languages: the main features of these languages are     illustrated with examples in Java, Python, C;

• Functional languages: modern languages such as ML and Haskell are used to describe the functional style of programming;

• Logic languages: the last part of the book gives an overview of logic programming using Prolog.

Following a general description of each family of languages, their semantics are studied using abstract machines and structural operational semantics. Programming Languages and Operational Semantics gives an in-depth analysis of the basic concepts in programming languages instead of a mere survey of languages, assisting the understanding of the fundamental notions in programming languages over simply describing their properties.

It is addressed to undergraduate students, as a complement to programming courses.


Functional programming Imperative programming Operational semantics Programming languages Programming paradigms

Authors and affiliations

  • Maribel Fernández
    • 1
  1. 1.King's College LondonLondonUnited Kingdom

Bibliographic information