Re: integer exponentiation with negative exponent
[
Date Prev][
Date Next][
Thread Prev][
Thread Next]
[
Date Index]
[
Thread Index]
- Subject: Re: integer exponentiation with negative exponent
- From: Coda Highland <chighland@...>
- Date: 2014年5月16日 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