1) unification-based
基于合并的
1.
This paper proposes an aggressively field-sensitive unification-based pointer analysis.
文中提出一种激进的基于合并的域敏感指针分析方法,利用目标机器模型中的数据布局信息进行高层分析,使用基地址和偏移的组合来激进地表示一个结构体域成员以能更精确地区分结构体的不同域成员。
2) PBC algorithm
基于概率的合并算法
3) Unification-based Grammar
连并为本的语法 [基于合一的语法]
4) aggregation-and-sorting-based transformation algorithm
基于聚合与并序的转换算法
5) Parallel Computing Based On LAN
基于局域网的并行计算
补充资料:连并
1.并排连在一起。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条