Random Bits and Pieces :: mlp/ltu http://www.foldr.org/~michaelw/log Michael Weber en Thu, 15 Sep 2005 09:05:00 GMT blosxom ver.2.0 Yet Another Rewriting Tool http://www.foldr.org/~michaelw/log/mlp/ltu/plt-redex http://www.foldr.org/~michaelw/log/mlp/ltu/plt-redex http://www.foldr.org/~michaelw/log/mlp/ltu/ Thu, 15 Sep 2005 09:05:00 GMT via LtU:

I seem to have missed the previously discussed PLT Redex tool, A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.

]]> http://www.foldr.org/~michaelw/log/mlp/ltu/plt-redex#writeback Threads Cannot be Implemented as a Library http://www.foldr.org/~michaelw/log/mlp/ltu/thread-libraries http://www.foldr.org/~michaelw/log/mlp/ltu/thread-libraries http://www.foldr.org/~michaelw/log/mlp/ltu/ Wed, 07 Sep 2005 15:49:00 GMT Threads Cannot be Implemented as a Library

I read Hans Boehm's paper earlier this year, but good to be reminded of it.

]]> http://www.foldr.org/~michaelw/log/mlp/ltu/thread-libraries#writeback Formal semantics for working programmers http://www.foldr.org/~michaelw/log/mlp/ltu/formal-semantics-for-working-programmers http://www.foldr.org/~michaelw/log/mlp/ltu/formal-semantics-for-working-programmers http://www.foldr.org/~michaelw/log/mlp/ltu/ Sat, 20 Aug 2005 23:09:03 GMT Formal semantics for working programmers ]]> http://www.foldr.org/~michaelw/log/mlp/ltu/formal-semantics-for-working-programmers#writeback