16 citations · 61 across the 15 of their papers we have counts for
1 paper · 2 filters
Davide Ancona, Giovanni Lagorio
In recent work we have shown how it is possible to define very precise type systems for object-oriented languages by abstractly compiling a program into a Horn formula f. Then type…