「コンパイラ・スクリプトエンジン」相談室5

「コンパイラ・スクリプトエンジン」相談室5at TECH

「コンパイラ・スクリプトエンジン」相談室5 - 暇つぶし2ch826:デフォルトの名無しさん
05/04/15 18:30:27
「これは読んどくべき！」という基本的な論文ってどういうものがあるのでしょう？
たとえば関係databaseにおけるCodd，logicでのGentzen，検証でのFloydやHoareの論文に
相当するものをあげてみませんか？　Kildall? Cousot?

次ページ

続きを表示

1を表示