on-line solving / partial online cycle elimination / online constraint solving / extract solutions / software updateability analysis tool / incremental algorithm / program analysis systems / real build systems / constraint systems / precise incremental algorithm / union-find algorithm / version control systems / Software maintenance / productive tool / load constraint systems / memory management / /
Organization
Berkeley Computer Science Department / University of California / Berkeley / National Aeronautics and Space Administration / National Science Foundation / Stanford University / EECS Department / /
Person
Grant Nos / /
Position
general data structures / analysis designer / representative / designer / interpreter / /
Banshee: A Scalable Constraint-Based Analysis Toolkit? John Kodumal1 and Alex Aiken2 1 2