1977年度_ACM学生論文賞_第一席授賞論文_構造的プログラム言語におけるサブルーチン展開の解析