搜索结果: 1-1 共查到“计算机科学技术基础学科 Scalable Constraint-Based”相关记录1条 . 查询时间(0.07 秒)
Banshee: A Scalable Constraint-Based Analysis Toolkit
Banshee Scalable Constraint-Based Analysis Toolkit
2016/5/24
We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resolution engines, incremental analysis...