I'll be giving a talk for the Northwest C++ Users Group on some recent work I've
been doing that actually borders on research. The fundamental idea is to find a
way to partition code such that calls can cross partition boundaries only if
certain conditions are satisfied. For example, thread-safe code would not be
able to call thread-unsafe code without explicit permission, ditto for
exception-safe code, etc. Users can define their own partition boundaries (e.g.
Scott's code should not be able to call Jill's code) , and, this being C++, the
rules should, as much as possible, be enforced during compilation. The talk is
called "Red Code, Green Code: generalizing const."
Details are available at http://www.nwcpp.org/Meetings/2007/04.html . I hope to
see you there.