摘要：弱关系数值域外推算子中最近发现的发散问题讨论：发散的原因和选择适当算法消除选择的表达中冗余约束可以避免依赖更具体、语法域。
作者：Roberto Bagnara, Patricia M. Hill, Elena Mazzi, and Enea Zaffanella
论文ID：cs/0412043
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中