
xvii
Detailed Book Outline
I
, we describe the format of the book and suc-
cinctly summarize each chapter and appendix. To accommodate read-
ers from dierent backgrounds, we provide several sample reading paths
through the text. We conclude by outlining the general chapter format.
is book consists of ten chapters, separated into four sections. In
addition, four appendices supplement the text. ese appendices isolate
implementation details that tend to be language dependent. Readers may
consult these appendices to reinforce details covered at the design level
in the text or to discern language dependencies. References are pro ...