# Control Flow Semantics

Canonical: https://www.bookquiver.com/j-w-de-bakker/control-flow-semantics

![Control Flow Semantics](https://quivercdn.com/covers/the-mit-press/j-w-de-bakker/control-flow-semantics_978-02-6251-897-0.jpg?v=2026-06-23%2002%3A49%3A11)

- Authors: [J. W. De Bakker](https://www.bookquiver.com/j-w-de-bakker), [Erik P. De Vink](https://www.bookquiver.com/erik-p-de-vink)
- Language: en_US
- Published: 1996-04-01

## Description

Control Flow Semantics presents a unified, formal treatment of the semantics of a wide spectrum of control flow notions as found in sequential, concurrent, logic, object-oriented, and functional programming...

## Editions

### Control Flow Semantics

- Publisher: the_mit_press
- ISBN: 978-02-6251-897-0
- Pages: 588
- Published: 1996-04-01
- Language: en_US