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