"Documentation by paper"

[Joe Buck]

On Mon, Feb 09, 2004 at 12:22:12PM -0500, Richard Kenner wrote:
>     But again, why bother when there are already things like wikipedia and
>     numerous texts which already define these basic terms.  Other folks
>     have already defined these basic terms, probably in better verbage
>     than we'd come up with.  Why recreate the wheel?
> 
> Once again, because:
> 
> (1) There are usually subtle differences between the definitions in these
> "numerous texts" and we need to be specific which one we need.

Almost all the differences in the standard compiler terms (for example,
dominators) that have been mentioned in this discussion, or that I have
observed, are the difference between < and <= : a partial order relation
is defined, and some texts use the < form and others use the <= form.
The texts that use the <= definition usually then use some adjective like
"strict" or "proper" to get the corresponding < definition.