Back to Results
First PageMeta Content
Computing / Data types / Type theory / Procedural programming languages / Polyspace / Abstract interpretation / Static program analysis / Type system / Aliasing / Program analysis / Software engineering / Programming language theory


Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version)
Add to Reading List

Document Date: 2010-07-16 02:44:55


Open Document

File Size: 301,94 KB

Share Result on Facebook
UPDATE