搜索结果: 1-2 共查到“计算机软件 Constraint-Based”相关记录2条 . 查询时间(0.061 秒)
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Constructing Type Constraint-Based Program Analyses
font style='font-size:12px;'>
2016/5/24
BANE (the Berkeley Analysis Engine) is a publicly available toolkit for constructing type- and constraint-based program analyses.1 We describe the goals of the pro ject, the rationale for BANE's overa...
Introduction to Set Constraint-Based Program Analysis
Set Constraint-Based Program Analysis
font style='font-size:12px;'>
2016/5/24
Introduction to Set Constraint-Based Program Analysis.