Back to Results
First PageMeta Content



Motivation A combined abstract domain for lists Analysis of list-manipulating programs Static Analysis of List-Manipulating Programs via Bit-Vectors and Numerical Abstractions
Add to Reading List

Document Date: 2018-08-14 11:59:25


Open Document

File Size: 423,87 KB

Share Result on Facebook