语义程序表示法的英文翻译

中文：语义程序表示法