proof of program的意思|示意
美 / pru:f ɔv ˈprəuɡræm /
英 / pruf ʌv ˈproˌɡræm /
[计] 程序证明