Index

core
allocation, 61 – functional, 55
argument – imperative, 1
– formal, 21
– real, 21 definition
argument passing – function, 20
– by reference (or by variable), 39 – recursive, 48
– by value, 39 do, 16
array, 79 double, 3
assignment, 1 dynamic data, 85
binary search, 146
boolean, 3 environment, 9
branch of a tree, 141 – global, 29
byte, 3 equality
– physical, 68
catch, 122 – structural, 68
cell, 61 error message, 124
– free, 98 Exception, 122
char, 3 exception, 122
child exception, 125
– left, 141 expression, 1
– right, 141 – arithmetical, 90
class, 60 extends, 135
– static, 133
class, 26, 60 false, 3
complexity, 113 fifo, 118
– average, 113 float, 3
– worst case, 113 for, 16
computable, 17 function, 20
concatenation, 105 function body, 20
const, 5 function call, 20
constant, 5
constructor, 64, 93 garbage collection, 98
contents of a node of a tree, 142 giveup, 14
157
158 Index

head of a list, 86 raise, 125

heap, 61, 154 raising an exception, 122
height of a tree, 141 record, 59
hidden, 5 Ref, 9
ref, 4
if, 6 reference, 9
in, 4 return, 23
inheritance, 134 root of a tree, 141
int, 3 rotation, 150

key, 104 scope of a variable, 3

selector field, 91
label of a record, 59 sequence, 5
leaf node, 141 sharing, 67
let, 4 short, 3
limit, 14 size of a tree, 141
list, 86 skip, 6
– association, 104 snowflake, 57
– ordered, 112 state, 2, 8
– regular, 90 static, 20
long, 3 String, 4
struct, 76
loop, 6
structure, 76
sub-tree, 141
main, 26
malloc, 95 tail of a list, 86
marking, 100 test, 6
memory state, 9 – incomplete, 15
method, 127 this, 65, 130
– dynamic, 130 throw, 122
module, 127, 133 throws, 122
multiset, 104 top, 115
towers of Hanoi, 56
new, 61 traversal
node of a tree, 141 – breadth first, 143
non-termination, 6 – depth first, 143
NULL, 94 – inorder, 143
null, 60 – postorder, 143
– preorder, 143
object, 127, 132 tree, 141
observable effect, 98 – Adel’son-Velskii and Landis, 150
overloading, 28 – balanced, 150
– binary, 139
parent of a node, 141 – empty, 141
postfix notation, 116 – minimal height, 149
principle of the third glass, 37 – packed, 153
print, 7 – partially ordered, 152
println, 7 – search, 147
procedure, 24 true, 3
program, 25 try, 122, 125
– main, 25 type
programmable, 56 – composite, 3
prototype, 54 – disjunctive, 90
public, 26 – list, 89
Index 159

– scalar, 3 variable, 1, 8
– tree, 89 – constant, 5
– wrapper, 68 – global, 25
– mutable, 5
unit, 24 variable declaration, 3
update, 8 visit, 142
void, 24
Val, 8
value, 2, 8, 104
Var, 8 while, 6
var, 39 with, 125