|
Boost : |
From: Tanton Gibbs (thgibbs_at_[hidden])
Date: 2004-01-07 17:44:03
I wrote a framework and a paper on Temporal Invariants. These invariants
exist or are freed over time. You might get some interesting ideas from the
paper; a link is attached.
http://www.cs.clemson.edu/~malloy/papers/csmr03/temporal/paper.pdf
Tanton Gibbs
----- Original Message -----
From: "Dan W." <danw_at_[hidden]>
To: <boost_at_[hidden]>
Sent: Wednesday, January 07, 2004 12:19 PM
Subject: [boost] Re: "invariants" class; Version 1.00
> Major clean-up. Interest? Bug reports? Thoughts? Criticism?
>
> All welcome.
>
> Cheers!
>
----------------------------------------------------------------------------
---- > _______________________________________________ > Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost >
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk