An overview of ESC/Java

In this section we summarize the principal features of ESC/Java. While some of the things we say here reiterate points made in our example of section 0, we also describe a number of features of ESC/Java that are not discussed at all in section 0.  Moreover, we address a number of points that were glossed over in section 0, and that possibly raised questions in the mind of the perceptive reader.  Throughout this section we refer the reader to later parts of this manual where various topics are discussed in more detail.