全部 标题 作者 关键词 摘要
, PP. 306-313
Keywords: 部分求值,抽象分析,函数例化,剩余程序,可去参数,剩余参数
Full-Text Cite this paper Add to My Lib
本文基于抽象解释技术设计并实现了一函数式语言部分求值器ｆｍｉｘ．ｆｍｉｘ在设计方法和实现策略上具有一定独到之处，系统运行效率较高．
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133
