搜索结果: 1-3 共查到“计算机科学技术基础学科 Set Constraints”相关记录3条 . 查询时间(0.145 秒)
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...
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. ...