Large-Scale Static Analysis at Mozilla
GeeCON 2011: Hibernate Anti-Patterns
Program Inconsistency Detection using Weakest Preconditions
The Kiuwan local analyzer
Manage your analyses
Create your first application
Run a new analysis
Learn about CQM
Tags are keywords that describe videos. For example, a video of your Hawaiian vacation might be tagged with "Hawaii," "beach," "surfing," and "sunburn."
TM + © 2014 Vimeo, LLC. All rights reserved.
Made with k in NYC.
Your content preferences apply to any Vimeo videos you view. Learn more about content preferences in our FAQ.