Вход Наше всё Теги codebook 无线电组件 Поиск Опросы Закон Среда
22 января

О смысле всего сущего 0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынок Объявления

Микроконтроллеры PLD, FPGA, DSP AVR PIC ARM, RISC-V Технологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты

Средства и методы разработки

427626 Топик полностью

Evgeny_CD^{Архитектор} (25.07.2013 22:50, просмотров: 660) ответил Д.ARMоед на пока знаю один вменяемый рисёчЬ без GC и кучи помошников.

А мы еще знаем Ironclad C++, a library-augmented type-safe subset of C++

ironclad_tr.pdf tr.pdf

Ответить

- ужас. процу больше делать нечего, кроме как pointer lifetime invariant вычислять. но занятно. - Д.ARMоед(25.07.2013 23:28)
  - Хвастаются относительно низкими оверхедами. - Evgeny_CD(25.07.2013 23:44)
    - да, я посмотрел бенчи; но такое чувство, что где-то ~~ннн~~абманули. - Д.ARMоед(25.07.2013 23:54)
      - Понятно где - я вот исходники так и не смог найти. Или это я ступил? - Evgeny_CD(25.07.2013 23:55)
        
        понять академические вещи по исходнику довольно сложно. часто присутствует глубокая оптимизация. и кроме гуроватости в цэпепе надо быть ещё и телепатом. - Д.ARMоед(26.07.2013 00:06)
        
        Я про другое. Бумаги они написали. А вот кода в паблике я пока не нашел. Или плохо искал? Некоторые их идеи мне показались интересными для того, чтобы рискнуть в С++ коде поковыряться... - Evgeny_CD(26.07.2013 00:17)
        
        почему-то на страничке одного из авторов этот айронклад связан с прототипом под другим именем - Д.ARMоед(26.07.2013 00:49, ссылка, ссылка)
        
        Да, но оно тут чуть другое. Full Memory Safety for C Но сорцы есть, это радует. - Evgeny_CD(26.07.2013 00:54)
        
        может ребрендинг происходит? - Д.ARMоед(26.07.2013 00:57)
        
        Или разборка вчерашних соратников, что более вероятно :) - Evgeny_CD(26.07.2013 00:58)
- А еще есть ANSI/ISO C Specification Language -> и его реализация... - Evgeny_CD(25.07.2013 22:59, ссылка)
  - ну да. народ переизобретает цикл Дейкстры. говорят, полезное упражнение. только ничто не мешает писать в этом стиле на plain c. в смысле - явно формировать пред и постусловия. - Д.ARMоед(25.07.2013 23:33)