Hi,
Would it be easier if we work with the StrongTalk VM and embed
primitives that will enable us certification ? If we conclude that the
general VM will have difficulties to pass certification, may be, what we
need is a VM that is certified, which has minimum mods. In which case,
StrongTalk might be a good place to start. Thoughts ?
Cheers
<k/>
_______________________________________________
Cryptography mailing list
Cryptography@...
http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/cryptography