Hermes: A Tutorial and Reference Manual - Researcher - IBM

218C.1.References
ofelementvariable,109
ofinspectvariable,112
security,55
selectnofairchoice,99
select,26
abbreviation,40
select,98{100
selector,41,91,109
expression,109
long,109
mapping,109
semilattice,57,84
meet,57
send,118,124
sendstatement,60
server,9
serverprocess,25
shareddata,prohibited,4
shell,9
sizeof,26,114
space,73
stringliteral,50,73,109
syntax
analysis,71
systemsprogramming,12
table,28
new,109
comparison,108
elementtypestate,108
insert,29
insertat,29
operations,28
representationindependent,28
typefamily,107
unordered,43
table[expr],42
table[key],43
the-element,42,110
tokens,73
typechecking,8,9,17,18,72,80{
82,150{153
denition,22,77
families,8
inference,72,80{82
inferencerules,55
inferencing,150{153
name,19
specier,21
type,127
typename,77
resolution,77
typespecier,81,82,83
o,104
typestate,22
caseattribute,62
attributes,23,56,78,84{85
checking,9,17,24,56,72,
84{92,150{153
checkingalgorithm,90
checkingexample,89
coercions,87
constraintattributes,85
entry,23,24
errors,91{92
exit,23
exitformal,119
formal,85{86
initialization,23
minimumformal,119
postcondition,90
postconditionrules,152
preconditionfunction,89
preconditionrules,152,155
semilattice,84
semilatticemeet,87
syntax,84{85
valid,86
typestate,127
Uncopyableexception,64,94
unique,105
unite,116
unitestatement,62
unwrap,66,126
unwrapstatement,84
usinglist,19