摘要：共享分析：抽象化函数的一般化及其性质证明
作者：Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
论文ID：cs/0102030
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中