A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework
ACM Transactions on Programming Languages and Systems - United States
doi 10.1145/3230624
Full Text
Open PDFAbstract
Available in full text
Categories
Date
August 29, 2018
Authors
Publisher
Association for Computing Machinery (ACM)