A program transformation that abstracts each variable by several type-based size measures, together with a data-flow inference that keeps only the measures that affect resource cost, is formalized and proved sound.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A Transformational Approach to Resource Analysis with Typed-norms Inference
A program transformation that abstracts each variable by several type-based size measures, together with a data-flow inference that keeps only the measures that affect resource cost, is formalized and proved sound.