Naming-convention metarules, 462–65
abbreviations and acronyms, 463
commentary, 463–64
compound names, 463
examples, 464–65
glyph choice, 462–63
issues, 462
name reuse, 463
See also Programming conventions
Nested loops, 212
Nitpicking tools, 447
Nodes
appended, 330
inserting, 152
_ last variable cycling through, 157
removed from data structures, 113
removing, 152, 154
root, 154
Tree, 306
Node variable, 313
Null pointers, 124, 144
dereferencing, 154
_ root variable as, 154
Numbering phase
function, 381
inserting code in, 304
NumberTree function, 320, 321
The Nuts and Bolts of Proofs, 179–80