This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Wolfe patent on "assert chains"

From: Robert Dewar <dewar at adacore dot com>
To: Diego Novillo <dnovillo at google dot com>
Cc: Steven Bosscher <stevenb dot gcc at gmail dot com>, GCC Development <gcc at gcc dot gnu dot org>
Date: Mon, 02 Jun 2008 09:14:42 -0400
Subject: Re: Wolfe patent on "assert chains"
References: <571f6b510806020149s21f17e75j1c591e13167def65@mail.gmail.com> <b798aad50806020605s4b6a2a43jf91234748769bc40@mail.gmail.com>

Diego Novillo wrote:

On Mon, Jun 2, 2008 at 04:49, Steven Bosscher <stevenb.gcc@gmail.com> 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.


Does anyone know if inclusion of something in openly available source
code has been accepted as proper publication for prior art? (it does
not meet the letter, but it does meet the spirit I would say).

Diego.

Follow-Ups:
- Re: Wolfe patent on "assert chains"
  - From: Daniel Berlin

References:
- Wolfe patent on "assert chains"
  - From: Steven Bosscher
- Re: Wolfe patent on "assert chains"
  - From: Diego Novillo

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]