Export Citations
1 Results for: Book/Issue: PLDI '10: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,752,574 records)|Limit your search to The ACM Full-Text Collection (756,929 records)
Showing 1 - 1of1 Results
- research-articleJune 2010
Mixing type checking and symbolic execution
PLDI '10: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and ImplementationJune 2010, Pages 436–447https://doi.org/10.1145/1806596.1806645Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that algorithm is then extensively tweaked to add just enough precision for the ...
Also Published in:
ACM SIGPLAN Notices: Volume 45 Issue 6, June 2010