Boost logo

Boost :

Subject: Re: [boost] [contract] toward N3351 concepts
From: Evgeny Panasyuk (evgeny.panasyuk_at_[hidden])
Date: 2012-10-05 16:41:42


06.10.2012 0:28, Andrew Sutton wrote:
> 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?
For instance, let say we have some class representing floating-point
arithmetic (IEEE 754). Is it legal "to state" with axioms that it's
addition operation is associative (which is not true)?
If yes, then nor compiler nor any other tools MUST not do any checks on
axioms besides syntactic.

Best Regards,

Boost list run by bdawes at, gregod at, cpdaniel at, john at