This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: "Documentation by paper"
- From: Joern Rennecke <joern dot rennecke at superh dot com>
- To: dewar at gnat dot com (Robert Dewar)
- Cc: Joe dot Buck at synopsys dot com, jamie at shareable dot org, asutton at cs dot kent dot edu, dewar at gnat dot com, gcc at gcc dot gnu dot org, kenner at vlsi1 dot ultra dot nyu dot edu, law at redhat dot com
- Date: Mon, 2 Feb 2004 22:02:04 +0000 (GMT)
- Subject: Re: "Documentation by paper"
> Of course sufficiently powerful pre and post conditions would be able
> to describe what a function does, but if these conditions are written
> in a low level language without set comprehension and quantifiers, this
> can be impractical in practice.
Do you think this is practical for functions like rest_of_compilation
using *any* description language different from the implementation
language?