コンピュータの大型化､大容量化が始まった1960年代初期より、プログラミング言語の定義と設計に関するホーア論理の提唱をはじめ、プログラムの仕様記述、設計、実行、メンテナンスについて、コンピュータの性能を引き出し、ソフトウェアの信頼性向上のための公理論的アプローチに基づく種々の提案を行い、ソフトウェア科学の発展に多大な貢献をした。