This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: "Documentation by paper"
- From: Joe Buck <Joe dot Buck at synopsys dot COM>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Cc: law at redhat dot com, gcc at gcc dot gnu dot org
- Date: Mon, 9 Feb 2004 10:14:22 -0800
- Subject: Re: "Documentation by paper"
- References: <10402091722.AA06761@vlsi1.ultra.nyu.edu>
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.