|
ru.algorithms- RU.ALGORITHMS ---------------------------------------------------------------- From : Andrew Ezhguroff 2:5020/400 07 Jan 2002 21:38:47 To : Victor Petrenko Subject : Re: Гоpодская олимпиада по инфоpматике -------------------------------------------------------------------------------- Привет! "Victor Petrenko" <Victor.Petrenko@p40.f6.n5061.z2.fidonet.org> сообщил(а): VP>>> создания ОС, неслыханный по наглости шаг (написать ОСь на ЯВУ), VP>>> но и очень удачный. AE>> И этим самым военным стандартом США является язык АДА (который по AE>> заказу военных и создавался) - тоже ведь не ассемблер. VP> Да, но далеко не Си. Ада скорее ближе к Паскалю... К Модуле. VP>>> Hо есть задачи, котоpые подсилу VP>>> только супеp-пpофессионалам. Они упиpаются в алгоpитмы и VP>>> доказательство кода. AE>> Существует аксиоматическое описание языка Паскаль, существуют языки AE>> программирования, включающие формальные механизмы описания AE>> семантики... Существует, наконец, метапрограммирование... VP> И что из этого? А то, что доказательство правильности кода - это строгая дисциплина, а не творчество суперпрофессионалов. С уважением, Андрей. -- Отправлено через сервер Talk.Ru - http://www.talk.ru --- ifmail v.2.15dev5 * Origin: Talk.Ru (2:5020/400) Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
Архивное /ru.algorithms/648846da2d1d.html, оценка из 5, голосов 10
|