Optimizing Program Size Using Multi-result Supercompilation.

Dimitur Nikolaev Krustev

Published in: VPT/HCVS@ETAPS (2020)

Keyphrases

real time
wide range
data sets
databases
machine learning
data structure
computational complexity
digital libraries
control system
computer programs