Re: [boost] [contract] toward N3351 concepts

Subject: Re: [boost] [contract] toward N3351 concepts
From: Andrew Sutton (asutton.list_at_[hidden])
Date: 2012-10-05 21:06:03

On 10/5/12, Evgeny Panasyuk <evgeny.panasyuk_at_[hidden]> wrote:
> Hello,

>> Axioms should present a
>> consistent logical framework that precisely but generally describe the
>> semantics our existing programs. This is not easily done.
>
> Is it legal "to state" with axioms, something that is not true in
> general case?

That's an open question--for me. There may be a good answer to that
question in the literature or addressed in other domains.

It may be sufficient to simply assume that floating point operations
satisfy the abstract mathematical requirements. We generally do
anyways.