Sparta: High-Performance Static Code Analyzers Based on Abstract Interpretation
94 by ingve | 7 comments on Hacker News.
New top story on Hacker News: Sparta: High-Performance Static Code Analyzers Based on Abstract Interpretation
Related Posts
New top story on Hacker News: How to do with probabilities what people say you can’t (1985) [pdf]
New top story on Hacker News: Response to 'Reasons why Lisp games suffer'
New top story on Hacker News: Creating Windows XP Icons (2001)
New top story on Hacker News: Why Speculate? (2005)
New top story on Hacker News: In Praise of the Long and Complicated Sentence
0 comments: