Re:What I suspect Google is up to with Native Client
by willvarfar on Wednesday December 07, 2011 @03:08AM
(#3322987)
Halting problem is literally that the program will halt. That's not provable, even if you offer it on rentacoder.com.
JVM bytecode, .NET CLR bytecode, NACL bytecode are all verified as containing no illegal API calls. That's completely different. And its completely possible.
JVM bytecode, .NET CLR bytecode, NACL bytecode are all verified as containing no illegal API calls. That's completely different. And its completely possible.