The Turing Language Report

Contents......Page 4
Variables & Constants......Page 6
Scopes & Visibility......Page 7
Modules......Page 8
Execution with side effects & aliasing......Page 9
Checking & Faithful Implementations......Page 10
1.2 Identifiers & Explicit Constants......Page 11
1.4 Syntactic Notation......Page 12
2.3 Constant Declarations......Page 13
2.4 Variable & Collection Declarations......Page 14
2.5 Bind Declarations......Page 15
3.1 Types & Type Declarations......Page 16
3.2 Type Equivalence & Assignability......Page 21
4.1 Subprograms......Page 23
4.2 Modules......Page 29
4.3 Restrictions on Constants & Read Only Items......Page 30
4.4 Restrictions to Prevent Aliasing......Page 31
5.1 Statements......Page 32
5.2 IO......Page 35
6.1 References......Page 38
6.2 Expressions......Page 39
6.3 Numeric Operators......Page 40
6.4 Comparison Operators......Page 41
6.6 String Operators & Substrings......Page 42
6.8 Compile-Time Expressions......Page 43
Mathematical Functions......Page 44
Type Transfer Functions......Page 46
Randomization Procedures......Page 48
IO Procedures......Page 49
6.13 Character Collating Sequence......Page 50
8 Short Forms......Page 52
9 Collected Keywords & Predefined Identifiers......Page 53
11 Recognizing Tokens......Page 54
12 Implementation Constraints on Integer, String & Real Types......Page 55
13 External Subprograms......Page 56
14 Changes in Turing Language......Page 58
1 Programs & Declarations......Page 60
2 Types......Page 61
3 Subprograms & Modules......Page 63
4 Statements & IO......Page 64
5 References & Expressions......Page 66
Refs......Page 68