Synopsis
Learn how COAL helps write real-time programs with clear rules for timing, synchronization, and control.
This book provides a focused look at a real-time programming language called COAL. It explains how expressions, assignments, and synchronization work together in a time-aware model. You’ll find practical details on using primitives, control structures, and user-defined functions to build responsive, reliable systems.
- Understand primitive statements such as assign, bind, follow, and graph, and how they differ in timing and effect
- See how five control structures—sequence, conditionals, loops, monitors, and concurrency—govern program behavior
- Learn about formal semantics and how to reason about traces, execution, and correctness
- Explore example scenarios like robot guidance and time-based control to illustrate concepts
"synopsis" may belong to another edition of this title.
