9 citations · 21 across the 13 of their papers we have counts for
1 paper · 1 filter
Sandra Alves, Delia Kesner, Miguel Ramos
We show that recent approaches of static analysis based on quantitative typing systems can be extended to programming languages with global state. More precisely, we define a call-…