Date: 2010-07-16 02:44:55Computing 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 ListSource URL: liu.diva-portal.orgDownload Document from Source Website File Size: 301,94 KBShare Document on Facebook
|