SAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...