"Documentation by paper"

[Richard Kenner]

    I would disagree strongly.  dominators, dominator tree, SSA, value
    numbering, loop tree are quite well known within the compiler
    community.  In fact, I would hazard a guess that it's probably just
    some GCC folks that don't have a firm grasp on these concepts.  They
    are what I would consider basic terminology and concepts for anyone in
    this field.

I'd also expect "symbol" and "context-free grammers" to be well known among
the CS community that would use Bison, but their manual defines them.