documentation and papers about const/invariant

[Sean Kelly]

Dee Girl wrote:
> There is a little documentation about const invariant on the web site. I read it. And also I read ACCU-functional. Is there more documentation? Like conference paper or manual. Does Tango book document const? Thank you, Dee Girl

At the time of writing, the design of const/invariant didn't seem 
finalized so we left it alone.  And as far as I know, there are no 
papers or manuals on the subject.  Nor documentation of the thought 
process behind the design.


Sean