搜索结果: 1-2 共查到“计算机系统结构 Set Constraints”相关记录2条 . 查询时间(0.014 秒)
Systems of set constraints are a natural formalism for many problems in program analysis. Set constraints are also a generalization of tree automata. We present an algorithm for solving systems of set...
Decidability of Systems of Set Constraints with Negative Constraints
Decidability Systems Set Constraints Negative Constraints
2016/5/24
Set constraints are relations between sets of terms. They have been used extensively in various applications in program analysis and type inference. Recently, several algorithms for solving general sy...