3 papers
cs.PL2019
A Transformational Approach to Resource Analysis with Typed-norms Inference
Elvira Albert, Samir Genaim, Raúl Gutiérrez +1
In order to automatically infer the resource consumption of programs, analyzers track how data sizes change along program's execution. Typically, analyzers measure the sizes of dat…
cs.PL2019
Resource Analysis driven by (Conditional) Termination Proofs
Elvira Albert, Miquel Bofill, Cristina Borralleras +2
When programs feature a complex control flow, existing techniques for resource analysis produce cost relation systems (CRS) whose cost functions retain the complex flow of the prog…
cs.PL2016
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell
Elvira Albert, Nikolaos Bezirgiannis, Frank de Boer +1
We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a forma…