Вход
Наше всё
Теги
codebook
无线电组件
Поиск
Опросы
Закон
Четверг
21 ноября
О смысле всего сущего
0xFF
Средства и методы разработки
Мобильная и беспроводная связь
Блошиный рынок
Объявления
Микроконтроллеры
PLD, FPGA, DSP
AVR
PIC
ARM, RISC-V
Технологии
Кибернетика, автоматика, протоколы
Схемы, платы, компоненты
Средства и методы разработки
427628
Топик полностью
Evgeny_CD
, Архитектор
(25.07.2013 22:59, просмотров: 487)
ответил
Evgeny_CD
на
А мы еще знаем Ironclad C++, a library-augmented type-safe subset of C++
А еще есть ANSI/ISO C Specification Language -> и его реализация...
http://en.wikipedia.org/wiki/ANSI/ISO_C_Specification_Language
Ответить
ну да. народ переизобретает цикл Дейкстры. говорят, полезное упражнение. только ничто не мешает писать в этом стиле на plain c. в смысле - явно формировать пред и постусловия.
-
Д.ARMоед
(25.07.2013 23:33
)