research
∙
09/10/2021
Termination Analysis of Programs with Multiphase Control-Flow
Programs with multiphase control-flow are programs where the execution p...
share
research
∙
08/06/2019
A Transformational Approach to Resource Analysis with Typed-norms Inference
In order to automatically infer the resource consumption of programs, an...
research
∙
07/29/2019
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
Control-flow refinement refers to program transformations whose purpose ...
research
∙
11/18/2018