Рэйлвэй Каген (14.06.2008 18:40, просмотров: 380) ответил Evgeny_CD на Но меня удивляет то, что нет толковых общепринятых тулзов для этого. С/С++ компилеров и вариантов вон сколько наплодили, а такого генератора/верфикатора нет. Или это жутко конкурентная область, и все заныкали свои наработки под матрасами???
Потому что в C/C++, да и не только, коде отсутствует полная информация для однозначного обратного преобразования этого кода в алгебраическое/алгоритмическое представление задачи. ТОчно также, как и машинном коде отсутствует полная информация для однозначного восстановления оного в код языка высокого уровня.
А одними из конкурентных областей сейчас являются автоматическая кодогенерация и методы формализации постановки задачи. Зачем Вам толпы кодеров, которых надо кормить, поить, переучивать, да ещё и платить за их ежедневные ошибки ??