On Mon, Jun 2, 2008 at 04:49, Steven Bosscher <[EMAIL PROTECTED]> wrote:
> I wonder if GCC's VRP ASSERT_EXPRs would be considered prior art. Even earlier than that. The assertion mechanism in GCC was taken directly from the PLDI'95 Patterson paper. Diego.
