[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: Constraints patch - help?
- From: Doug Currie <doug.currie@...>
- Date: Mon, 23 Oct 2006 15:19:08 -0400
Monday, October 23, 2006, 2:38:28 PM, Asko Kauppi wrote:
> Tastes differ.
> [...]
> I am a heavy user of assert, or ASSUME as I like to alias it.
I just happened to be looking at Extended Static Checking
http://citeseer.ist.psu.edu/detlefs98extended.html where ASSUME means
something quite different! See section 11, "The tarpit of creeping
aspirations."
e
--
Doug Currie
Londonderry, NH