This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: "Documentation by paper"
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: joern dot rennecke at superh dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Mon, 2 Feb 04 20:01:42 EST
- Subject: Re: "Documentation by paper"
Do you think this is practical for functions like rest_of_compilation
using *any* description language different from the implementation
language?
Sure. The specification is unrelated to the implementation: the function
does whatever is needed to compile and optimize a function. The details
don't matter at all to the specification.