Export Citations
1 Results for: Keyword: Variables of Interest
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,801,570 records)|Limit your search to The ACM Full-Text Collection (771,257 records)
Select All
- research-articleJune 2021
Selective path-sensitive interval analysis (WIP paper)
LCTES 2021: Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded SystemsPages 146–150https://doi.org/10.1145/3461648.3463855K-limited path-sensitive interval domain is an abstract domain that has been proposed for precise and scalable analysis of large software systems. The domain maintains variables’ value ranges in the form of intervals along a configurable K subsets of ...