This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Saving extension semantic values from collection
- To: mark at codesourcery dot com
- Subject: Re: Saving extension semantic values from collection
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- Date: Mon, 20 Mar 00 13:40:17 EST
- Cc: gcc-patches at gcc dot gnu dot org
Well, I was a theoretician. Alex, for example, is an empiricist.
What he calls a proof is very different from what I call a proof --
proofs for him are often statistical observations of experiments.
And I'm somewhere in the middle: a proof for me is a "convincing
argument".