Hermes: A Tutorial and Reference Manual - Researcher - IBM

216C.1.References
guardedselect,26
handlerclause,79,96
Hermes,3{5
researchdirections,67
typesystem,55
hide,117
hidestatement,63
Hoare,C.A.R.,55
identiers,74
if,97
importslist,19,78
inferencefunction
elementtypeof,151
sameas,152
inferencerule,151
inferencerules,21,80
inferreddeclaration,81
init,23,78,84{86
init(),56
initializationport,8,19
inport,118
inputport,8,22,94,118,119
aseventguard,98
denition,23,24
enabled,26
insert,29,111,111
insert-at,111
inspect,46,112
inspectvariable,112
integerliterals,50
integertypefamily,103
interface,11,22,60
denition,22,24
InterfaceMismatchexception,17,
124,124
key,108,110{112
keys(),43
keyword,74
latebinding,5
lexicalanalysis,71
linkinglist,51,79
literal
named,73
numeric,73
real,73
string,73
literals,104
long-livedsystems,55
mainclause,96
mainprogram,124
meet,89
merge,112
merge-at,112
messagetype,118
minimumformaltypestate,119
default,119
minimumtypestate,87
mod,104
module,4
move,93
movingavalue,93
movingversuscopying,29,93
nameequivalenceoftypedenitions,24
namespace,75,78
ofbasevariables,76
ofcomponentnames,77
oftypeidentiers,77
ofuser-denedexceptionnames,
78
namedliteral,73
new,14,107,119,120
nominaltypefamily,101,105
normalexit,96
not,105
notation
association,121
function,121
positional,121
NotFoundexception,42,110{112
numericliteral,73
object-orientedlanguages,27
occurrence
applied,72