搜索结果: 1-6 共查到“Set Constraints”相关记录6条 . 查询时间(0.125 秒)
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...
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
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
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 uni cation of equality constraints over terms are very fast...
Regularly Annotated Set Constraints
Set constraints context-free language reachability flow analysis
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
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...