About ALPERN B
About IBM Thomas J. Watson Research Center, NY, USA
About WEGMAN M N
About IBM Thomas J. Watson Research Center, NY, USA
About ZADECK F K
About Brown Univ., RI, USA
About Conference Record of the Annual ACM Symposium on Principles of Programming Languages
About program theory
About Theory of computation
About 変数
About 等価性