11 citations · 11 across the 1 of their papers we have counts for
1 paper · 1 filter
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…