research
∙
02/05/2023
AProVE: Modular Termination Analysis of Memory-Manipulating C Programs
Termination analysis of C programs is a challenging task. On the one han...
share
research
∙
07/20/2022
Constraint-based type inference for FreezeML
FreezeML is a new approach to first-class polymorphic type inference tha...
research
∙
04/01/2020
