[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: integer exponentiation with negative exponent
- From: Coda Highland <chighland@...>
- Date: Fri, 16 May 2014 19:36:41 -0700
>> As soon as any static analizer hits a function call, it wont be able to
>> decide this anyway.
That's not true, a sufficiently complex static analyzer can define
inference rules for the return type of a function in terms of its
parameters.
I spent a lot of time bashing ACL2 into listening to me. :P
/s/ Adam
