research
∙
01/28/2021
Type-Based Analysis of Logarithmic Amortised Complexity
We introduce a novel amortised resource analysis couched in a type-and-e...
share
research
∙
07/22/2018
Analysis of Logarithmic Amortised Complexity
We introduce a novel amortised resource analysis based on a potential-ba...
research
∙
06/26/2018
Linear Tree Constraints
Linear tree constraints were introduced by Hofmann and Rodriguez in the ...
research
∙
01/23/2018
Enforcing Programming Guidelines with Region Types and Effects
We present in this paper a new type and effect system for Java which can...
research
∙
09/06/2017