37 citations · 96 across the 19 of their papers we have counts for
1 paper · 2 filters
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-…