SciFi (03.03.2015 16:02, просмотров: 91) ответил Evgeny_CD на Ну как бы подразумевается, что исходник более низкого уровня синтезируется из "верхнего уровня" гарантированно безошибочно. Вроде как теория такое позволяет.ส็็็็็็็็็็็็็็็็็็็็็็็็็༼ ຈل͜ຈ༽ส้้้้้้้้้้้้้้้้้้้้้้้
-
- А пусть верхний уровень - это сети Петри или еще что, что позволяет проводить формальную верификацию непротиворечивости. - Evgeny_CD(03.03.2015 16:05)
- Я про исходники процессора и компилятора с over9000 параметрами. Никакой петрик не сможет это проверить. - SciFi(03.03.2015 16:07)
- А мы набор параметров тоже будем из описания Самого Высокого Уровня компилировать :) - Evgeny_CD(03.03.2015 16:10)
- Я про исходники процессора и компилятора с over9000 параметрами. Никакой петрик не сможет это проверить. - SciFi(03.03.2015 16:07)
- А пусть верхний уровень - это сети Петри или еще что, что позволяет проводить формальную верификацию непротиворечивости. - Evgeny_CD(03.03.2015 16:05)