Explaining failures of program analyses

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08 ◽

10.1145/1375581.1375614 ◽

2008 ◽

Author(s):

Daniel von Dincklage ◽

Amer Diwan

Download Full-text