9 citations · 21 across the 13 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023
Quantitative Global Memory
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-…
cs.PL2015★ 4 cited
Liquid Intersection Types
Mário Pereira, Sandra Alves, Mário Florido
We present a new type system combining refinement types and the expressiveness of intersection type discipline. The use of such features makes it possible to derive more precise ty…