Predicate Abstractions for Dynamic Languageshttp://blog.ashwinraghav.com/2011/09/02/predicate-abstractions-for-dynamic-languages/ by ashwinraghav • 15 years ago 1 0 15 years agoBLblog.ashwinraghav.com