An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals.

Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang

Browse the full SETTA paper archive.