A GHC plugin adapts the JVFH type-based amortized analysis to GHC Core, automatically deriving linear resource bounds for a subset of Haskell programs.
https://downloads.haskell.org/~ghc/8.2.2/docs/html/ libraries/ghc-8.2.2/Plugins.html
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
-
Type-Based Resource Analysis on Haskell
A GHC plugin adapts the JVFH type-based amortized analysis to GHC Core, automatically deriving linear resource bounds for a subset of Haskell programs.