research
∙
03/15/2023
Quantitative Global Memory
We show that recent approaches of static analysis based on quantitative ...
share
research
∙
09/18/2021
EVL: a typed functional language for event processing
We define EVL, a minimal higher-order functional language to deal with g...
research
∙
08/13/2021
