Inproceedings,

Lattice based modularization of static analyses.

, , , , , and .
ISSTA/ECOOP Workshops, page 113-118. ACM, (2018)

Meta data

Tags

Users

  • @dblp

Comments and Reviews