BARRINGER H について
Univ. Manchester, England について
KUIPER R について
Univ. Manchester, England について
PNUELI A について
Weizmann Inst. Science, Israel について
Conference Record of the Annual ACM Symposium on Principles of Programming Languages について
並列処理 について
計算理論 について
システムプログラミング一般 について
抽象 について
モデル について
論理 について