Barrett G.Occam 3 reference manual.1992
.pdf
MINUSX, 164
Module, 85, 86, 181 abbreviation, 92 array, 91
type, 90
Module parameter, 93 Modulo
addition, 68 multiplication, 68 subtraction, 68
Modulo operator, 70, 181 MOSTNEG, 68, 70, 144 MOSTPOS, 68, 70, 144
MULBY2, 166
Multiple assignment, 5, 81, 82
Multiple length arithmetic functions, 152 Multiplication, 68
NAME, 96
Name, 4
Named data type, 39, 39 Named process, 75 Network, 19, 181
NEXTAFTER, 165 NONE, 41
Nonsense, 77
NORMALISE, 159
NOT, 68, 71, 144
Not equal operation, 68, 72 Not-A-Number, 162, 163, 170 Notation
syntax, 3
NOTFINITE, 163
Numbered union, 110
occam2, 1
OFFSET, 110
Omission of type decoration, 114 Operand, 67, 181
Operation, 68 Operator, 67, 181
Operator precedence, 67 Option, 12, 34
OR, 68, 71, 144
ORDERED, 165
Output, 6, 47, 108, 181
PAR, 14, 144
Parallel, 9, 14, 105, 106 array, 37
disjointness, 16, 89, 92, 116 placed, 105
priority, 105 replicated, 16
usage, 16, 89, 92, 98, 116, 117 Parameter, 82
actual, 78 formal, 78
Parenthesis, 67 Physical resource, 105 PLACE, 107, 110, 144
PLACED, 144 PLACED PAR, 105 Placed parallel, 105 Placement, 182 PLUS, 64, 68, 70, 144 Polar angle, 174
PORT, 144 Port, 108, 116 Port type, 108
POWER, 172
PRI, 144
PRI ALT, 106
PRI PAR, 105 Primitive type, 182 Priority, 105, 106, 182
alternation, 106 execution, 105 level, 106 parallel, 105
PROC, 144 Procedure, 75, 117
Procedure definition, 182 Procedure instance, 182 Process, 5, 9, 34, 107, 182
declaration, 86 final, 87 initial, 87 named, 75 resource, 87 server, 88
Process declaration, 85
PROCESSOR, 105, 144 Processor allocation, 105 Program, 95
PROTOCOL, 48, 144 Protocol, 45, 46, 47–49, 182
ANY, 115 definition, 47 name, 47 sequential, 48 simple, 47 variant, 49
Protocol definition, 49 Pseudo-random number, 176
RAN, 176
Real arithmetic, 69
Real comparison, 168
Real number, 23, 24
Real time, 182
Real to string, 178
Real type, 23
REAL32, 23, 144
REAL32EQ, 169
REAL32GT, 169
REAL32OP, 168
REAL32REM, 168
REAL64, 23, 144
REAL64EQ, 169
REAL64GT, 169
REAL64OP, 168
DRAFT --- March 31, 1992
REAL64REM, 168 REALnnTOSTRING, 178 REALOP, 168 REALREM, 168 RECORD, 53
Record, 39, 39, 110, 182 channel, 52
Record layout, 110, 182 Record literal, 40
Relational operation, 72, 145, 182 REM, 68, 68, 144
Remainder, 68 Remote call, 182 Repetitive process, 182
Replicated alternation, 20 Replicated conditional, 12 Replicated parallel, 16 Replicated sequence, 10
Replication, 9, 10, 12, 16, 20, 182 Replication index, 10, 23, 24 Representation, 24
Reserved word, 144
RESOURCE, 87
Resource process, 87, 182 RESULT, 56, 84, 144 Result abbreviation, 36, 182 Return exponent, 164 RETYPES, 109, 144
Retyping conversion, 109, 182
ROTATELEFT, 161
ROTATERIGHT, 160
ROUND, 73, 144
Rounding, 24, 69, 112, 167
SCALEB, 163
Scope, 32, 34–36, 52, 82, 109, 182 Segment, 30, 182
Selection, 12, 182
CASE, 12
Selector, 12
Separate compilation, 101 SEQ, 9, 144
Sequence, 9, 9, 182 replicated, 10
Sequential protocol, 48, 48, 182
SERVER, 88
Server process, 88, 182 Shared, 59
Shared call channel, 59, 61 Shared channel, 59, 61, 182
alternation, 61 Shift left, 68, 71
Shift operation, 71, 182 Shift right, 68, 71
SHIFTLEFT, 158
SHIFTRIGHT, 157 Simple protocol, 47 SIN, 172
Sine, 172
SINH, 175
SIZE, 68, 73, 144
SKIP, 6, 144 Skip, 182
Specification, 34, 34, 183 Specifier, 183
SQRT, 163
Square root, 163 Standard library, 148 STOP, 6, 118, 144 Stop, 183
Stop process mode, 118 String, 25, 183
String to boolean, 178 String to hex, 177 String to integer, 177 String to real, 178
String to value conversion, 177
STRINGTOBOOL, 178
STRINGTOHEX, 177
STRINGTOINT, 177 STRINGTOREALnn, 178 Subscript, 68, 116, 183 Subtraction, 68 Subtype, 41, 42, 183
Subtype discrimination, 42 Symbol, 144
Symbols, 145 Syntactic notation, 3 Syntax, 3, 119, 132
System requirement, 105 System service, 95
Table, 26, 67, 67, 183 replicated, 27
Tag, 41, 49, 49, 110, 183 scope, 52
TAN, 173 Tangent, 173
TANH, 175
TIMER, 144
Timer, 63, 116, 183 abbreviation, 65 alternation, 65 array, 63 declaration, 63
Timer input, 63, 64, 183 Timer type, 63
TIMES, 68, 70, 144 TRUE, 12, 144 TRUNC, 73, 144 TYPE, 90, 92
Type
interface, 92 module, 90
Type conversion, 183
Undefined mode, 118 Union, 39, 41, 183
numbered, 110 subtype, 42
Union literal, 41 Usage
DRAFT --- March 31, 1992
parallel, 16
Usage check, 60, 89, 92, 98, 116, 117, 183 Using the manual, 1
VAL, 56, 78, 109, 144 VALOF, 84, 144 Valof, 34, 84
Value
abbreviation, 36
Value process, 81, 117, 183
Value to string conversion, 151, 177 Variable, 5, 23, 29, 116, 183
abbreviation, 34 array, 26 declaration, 29
Variable list, 5, 183 Variable subscript, 37, 183 Variant, 34
Variant input, 49, 51 Variant protocol, 49, 183
WHILE, 13, 144
WIDTH, 110
WIDTHOF, 111
Word rotation, 160
DRAFT --- March 31, 1992