Hardware-interface specification defects, 371
Heaps
checking, 245–46
construction, 64
representation, 64, 79
sorts, 63–64
Heuristics
debugging, 185, 201–19
per Schoenfeld, 183–84
Historical data, hypotheses from, 216–17
Holmes, Sherlock, 17–31
alternative explanations exclusion, 28–29
applying, to debugging, 19
attention to unusual details, 21–23
author behind, 18
cross-disciplinary knowledge, 19–20
don’t guess, 27
fact gathering before hypothesizing, 23–25
facts to someone else, 25
focus on facts, 20–21
impossible cause elimination, 28
life of, 17
literature about, 17–18
methods of, 18–31
observation, 25–27
reasoning in both directions, 29–30
red herrings, 30–31
Homogeneous aggregate, 207
How to Read and Do Proofs, 181–82
Human cognition models, 388–89
Human error, 389–94
classifying, 390–94
defining, 389–90
knowledge-based behavior, 393–94
rule-based behavior, 391–92
skill-based behavior, 391
See also Way of the psychologist
Hypotheses
choosing, from historical data, 216–17
completion, 210
correctness, 290
diagram, 216
efficiency, 211
evaluation, 186–87
fact gathering before, 23–25
formulating, 29
generation and evaluation, 186–87
guessing vs., 27
persistence, 408–9
problems and observations, 24–25
robustness, 211
similarity, 215