Re: [boost] [contract] toward N3351 concepts

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