caxapa.ru :: Ну как бы подразумевается, что исходник более низкого уровня синтезируется из "верхнего уровня" гарантированно безошибочно. Вроде как теория такое позволяет.

Evgeny_CD^{Архитектор} (03.03.2015 15:57, просмотров: 125) ответил SciFi на Ага, модель с over9000 параметрами. И 100500 бета-тестеров, которые ловят баги в этом 9000-мерном пространстве. Это прекрасно :-)

Ну как бы подразумевается, что исходник более низкого уровня синтезируется из "верхнего уровня" гарантированно безошибочно. Вроде как теория такое позволяет.

Ответить

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

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