Boost logo

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