Лучшие 5 цитат Роберт В. Флойд на MyQuotes

Таким образом, семантическое определение определенного набора типов команд является правилом для построения для любой команды одного из этих типов условия проверки предшествующих и последующих.

Если когда-либо будет наука о проектировании языков программирования, она, вероятно, будет состоять в основном из сопоставления языков с методами проектирования, которые они поддерживают.

Следовательно, возможно расширить частично заданную интерпретацию до полной интерпретации без потери возможности проверки ... Этот факт дает возможность автоматической проверки программ, при этом программист просто помечает входы и один край в каждом внутреннем цикле.

Мое серьезное программистское послание звучит так: проведите часть своего рабочего дня, изучая и совершенствуя свои собственные методы. Несмотря на то, что программисты всегда пытаются уложиться в какой-то будущий или прошлый срок, методологическая абстракция является разумным долгосрочным вложением.

Установление формальных стандартов для доказательств о программах ... и предложение о том, что семантика языка программирования может быть определена независимо от всех процессоров для этого языка, путем установления стандартов строгости для доказательств о программах на языке, кажется, роман.