ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Понедельник
31 марта
428095 Топик полностью
Evgeny_CDАрхитектор (29.07.2013 00:25, просмотров: 318) ответил Д.ARMоед на видимо, было заглушено, т.к. сама концепция требует для реализации нетривиальные внеязыковые средства.
Осталось сделать мелочь: компилер правильный язык -> подмножество С, причем отображение изоморфное и формально верифицируемое.