Next: Notes, Previous: Standard procedures, Up: top [Contents][Index]
| • Formal syntax: | ||
| • Formal semantics: | ||
| • Derived expression type: |
This chapter provides formal descriptions of what has already been described informally in previous chapters of this report.