> -- Илья Ермаков писал(а):
> (В КП/ББ есть контроль переполнения, включается опцией компилятора.)
В тьюринг-полном языке контроль выхода за границы массива и целочисленного  переполнения на этапе компиляции принципиально невозможно реализовать.

А про контроль времени исполнения Geniepro всё уже сказал, да только это всё удалили, хотя было в тему.