
3.5 Models of Computation and Programming 207
3.5.3 Control-Oriented Languages
control and
reactive systems
We introduced control-oriented modeling in Section 1.5.2; this section discusses
these languages in more detail. Control-oriented languages are often used to
model reactive systems. A reactive system responds to some input. A control
system is an example of a reactive system. The behavior of a reactive system
depends on its state—that is, its history of inputs—as well as its current inputs.
control
decomposition
Modularity is an appealing concept in all areas of programming. In tradi-
tional programming languages, control is not thought of as highly ...