On Wed, 03 Nov 2004 18:53:34 +0100, Dirk Gerrits dirk@dirkgerrits.com wrote:
... yielding only on function entry and all backward branches?
Hadn't thought of that yet. Thanks for the tip.
That's the trick notably used in RScheme, if my memory serves well. Of course, as soon as you have shared resources or any kind of synchronization that isn't encapsulated in messages (e.g. GC state, etc.), you may need more advanced techniques and/or criteria.
[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ] If atheism is a religion, then not collecting stamps is a hobby.