Proofs of the correctness of the meta-interpreter and self-applicable partial evaluator are also given in this paper.

• 最后定义部分计值器；同时；给出了元解释器和部分计值器的正确性证明.