поучительная история

[avva]

История создания Джавы и C#.

(только программистам будет интересна; спасибо hotgiraffe за ссылку).

Comments

Re: Кривой stack frame? Легко

[pargentum.livejournal.com]

>C-компилятора с проверкой границ и соответствующим образом аннотированной стандартной библиотекой.

Еще проще:

int broken_stack_frame(char * str) { char buf[BUFSIZE]; strcpy(str, buf); // etc }

>хотя это уже будет и не совсем C.

Это будет совсем не C. В лучшем случае это будет жаба.

Пойнт как раз в том, что непробиваемый пример - это либо система, способная доказывать финитность исполняющихся на ней алгоритмов, либо система, способная исполнять только некоторые алгоритмы. Первое невозможно, второе по построению ограничено в возможностях.