Contents

 $$

Acknowledgments

1. 

Introduction

• History, Perspective, Overview, Features, Interfaces, Objects, Generics, Threads, Safety, Garbage collection, Exceptions, Type System, Simplicity

2.1

Definitions

2.2

Types

• Ordinal types, Floating-point types, Arrays, Records, Packed types, Sets, References, Procedures, Objects, Subtyping rules, Predeclared opaque types

2.3

Statements

• Assignment, Procedure call, Eval, Block statement, Sequential composition, RAISE, TRY-EXCEPT, TRY-FINALLY, LOOP, EXIT, RETURN, IF, WHILE, REPEAT, WITH, FOR, CASE, TYPECASE, LOCK, INC, & DEC

2.4

Declarations

• Types, Constants, Variables, Procedures, Exceptions, Opaque types, Revelations, Recursive declarations,

2.5

Modules and interfaces

• Import statements, Interfaces, Modules, Example, Generics, Initialization, Safety

2.6

Expressions

• Conventions, Operation syntax, Designators, Numeric literals, Text and character literals, NIL, Function application, Set, array, and record constructors, NEW, Arithmetic operations, Relations, Boolean operations, Type operations, Text operations, Constant expressions

2.7

Unsafe operations

2.8

Syntax

• Keywords, Reserved identifiers, Operators, Comments, Pragmas, Conventions, Compilation units, Statements, Types, Expressions, Miscellaneous, Tokens

 $$

About the authors