Sun, 31 Jan 1999 15:45:34 -0800 (PST)

A rewriting logic, reflective language, says it is good for concurrent
object programming and representing other paradigms.

Reminder about the review list: There are only 5 subscribers to, so I cc:ed this to  If you want to
receive posts about new links or discussion of OSes and languages, sign up
for the Review list!

David Manifold <>
This message is placed in the public domain.