SHI Yao について
Univ. New South Wales について
BLACKHAM Bernard について
Univ. New South Wales について
HEISER Gernot について
Univ. New South Wales について
ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages) について
プログラム検証 について
形式的手法【計算機】 について
最適化 について
コンパイラ について
不変量 について
マイクロカーネル について
ベンチマーク について
Linux について
プログラムの正しさ について
再利用 について
性能評価 について
プログラム変換 について
形式的検証 について
コード最適化 について
計算機システム開発 について
言語プロセッサ について
形式 について
検証 について
コード最適化 について