Re: отладка под gdb
On Tuesday 28 March 2006 17:26, Artem Chuprina wrote:
> А, ну-ну... Хинт: чтобы это работало, надо построить _полную_ систему
> этих самых правил. Доказать ее полноту и дать специально образованным
> людям проверить доказательство. И после каждого изменения в программе
> проверять, не нарушили ли где протокол. Каковая проверка ой, не всегда
> бывает локальной операцией...
Ой, страшно как... Что, бросать программы писать, и подаваться в управдомы?
Или не искать способов посложнее, тем более, что "специально образованные
люди", как показала практика, часто сами не понимают о чём говорят.
--
Anton Petrusevich
Reply to: