Proofs of the correctness of the meta-interpreter and self-applicable partial evaluator are also given in this paper.是什么意思_Proofs of the correctness of the meta-interpreter and self-applicable partial evaluator are also given in this paper.在线翻译_英语_读音_用法_例句