Next:
Libraries
, Up:
Program Behavior
4.1 Writing Robust Programs
See
Semantics
.