Subject: Re: [boost] [contract] toward N3351 concepts
From: Lorenzo Caminiti (lorcaminiti_at_[hidden])
Date: 2012-09-26 17:47:23
On Wed, Sep 26, 2012 at 2:38 PM, Andrzej Krzemienski <akrzemi1_at_[hidden]> wrote:
> 2. They (would) provide a standardised description of certain properties of
> the code that could be used by tools for code analysis or generation. For
> instance tools could auto-generate unit tests.
This is true for pre/post/inv as well.
> Or certain optimizations
> could be performed based on the knowledge contained in axioms.
*In theory*, this is also true for pre/pot/inv.
P.S. I just wanted to point out similar properties of contracts but
I'm not sure if comments I made in this email are relevant for the
axiom discussion.
--Lorenzo