Abstract interpretation

approach to static program analysis

Categories: