Mechanically Verifying the Correctness of an Offline Partial Evaluator
Mechanically Verifying the Correctness of an Offline Partial Evaluator
复制标题
机械验证离线部分评估器的正确性
DOI：
10.1007/bfb0026826
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
J. Hatcliff
中科院分区：
文献类型：
--
作者：
J. Hatcliff
DOI：
10.1007/3-540-59293-8
发表时间：
1995
期刊：
--
影响因子：
--
作者：
Peter D. Mosses;M. Nielsen;M. I. Schwartzbach;Colloquium on Trees in Algebra
通讯作者：
Peter D. Mosses;M. Nielsen;M. I. Schwartzbach;Colloquium on Trees in Algebra