Proofs of the correctness of the meta-interpreter and self-applicable partial evaluator are also given in this paper.
英
美
释义
最后定义部分计值器;同时;给出了元解释器和部分计值器的正确性证明.
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2025 海词词典(Dict.cn)
立即下载