3 ms·
You know what. I think I agree with you. I would actually go as far as to posit that most common applications don't require a Turing-Complete environment to r
by cantankerous 13y ago
You know what. I think I agree with you. I would actually go as far as to posit that most common applications don't require a Turing-Complete environment to run. If you could strip away the trouble spots and limit yourself to what you really need you can get a lot back in terms of software checking and assurance.
- shelf 13y agohttp://www.cs.dartmouth.edu/~sergey/langsec/occupy/ http://www.cs.dartmouth.edu/~sergey/langsec/occupy/
- cantankerous 13y agoThat's awesome. Thanks for sharing. It's nice to know that people a lot smarter than me are thinking about this already :).