Resource approximation for the λμ-calculus.

Davide Barbarossa

Published in: LICS (2022)

Keyphrases

approximation error
error bounds
resource management
data sets
resource allocation
closed form
resource requirements
databases
approximation algorithms
resource constraints
approximation methods
resource usage
provably correct
approximation schemes