Predicate Abstractions for Dynamic Languages Posted by ashwinraghav on Friday September 02, 2011 @10:44AM from the blog.ashwinraghav.com dept. http://blog.ashwinraghav.com/2011/09/02/predicate-abstractions-for-dynamic-languages/ ( no comments | on HN )
There are no comments yet.