BANERJEE Anindya について
IMDEA Software Inst. について
NAUMANN David A. について
Stevens Inst. Technol. について
Journal of the ACM (Association for Computing Machinery) について
オブジェクト指向言語 について
オブジェクト指向プログラミング について
不変量 について
局所性 について
推論 について
記号論理 について
モジュール構造 について
高階論理 について
形式的手法【計算機】 について
プログラムの正しさ について
健全性 について
プログラム検証 について
ヒープ について
境界 について
抽象 について
意味論 について
セグメンテーション について
Hoare論理 について
プログラム意味論 について
二階論理 について
領域分割 について
計算機システム開発 について
汎用プログラミング言語 について
不変量 について
推論 について
境界 について