Sciweavers

SAS
2005
Springer

Banshee: A Scalable Constraint-Based Analysis Toolkit

13 years 11 months ago
Banshee: A Scalable Constraint-Based Analysis Toolkit
Abstract. 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 based on backtracking, and fast persistence. These features make Banshee useful as a foundation for production program analyses.
John Kodumal, Alexander Aiken
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where SAS
Authors John Kodumal, Alexander Aiken
Comments (0)