1 citations · 2 across the 6 of their papers we have counts for
1 paper · 2 filters
Jay Lee
It is well-known that abstract interpreters can be systematically derived from their concrete counterparts using a "recipe," but developing sound static analyzers remains a time-co…