搜索结果: 1-1 共查到“程序设计及其语言 Constructing Type”相关记录1条 . 查询时间(0.064 秒)
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Constructing Type Constraint-Based Program Analyses
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...