搜索结果: 1-6 共查到“计算机科学技术 Set Constraints”相关记录6条 . 查询时间(0.075 秒)
Solving Systems of Set Constraints
Solving Systems Set Constraints
font style='font-size:12px;'>
2016/5/24
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...
The Complexity of Set Constraints
Complexity Set Constraints
font style='font-size:12px;'>
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. We present several results on the computational com...
Set Constraints: Results, Applications, and Future Directions
Set Constraints Results Applications Future Directions
font style='font-size:12px;'>
2016/5/24
Set constraints are a natural formalism for many problems that arise in program analysis. This paper provides a brief introduction to set constraints: what set constraints are, why they are interestin...
Program Analysis Using Mixed Term and Set Constraints
Program Analysis Mixed Term Set Constraints
font style='font-size:12px;'>
2016/5/24
There is a tension in program analysis between precision and eciency. In constraint-based program analysis, at one extreme methods based on unication of equality constraints over terms are very fast...
Regularly Annotated Set Constraints
Set constraints context-free language reachability flow analysis
font style='font-size:12px;'>
2016/5/24
A general class of program analyses are a combination of contextfree and regular language reachability. We define regularly annotated set constraints, a constraint formalism that captures this class. ...
Decidability of Systems of Set Constraints with Negative Constraints
Decidability Systems Set Constraints Negative Constraints
font style='font-size:12px;'>
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...