A Lazy Desugaring System for Evaluating Programs with Sugars.

Ziyi Yang Yushuo Xiao Zhichao Guan Zhenjiang Hu

Published in: FLOPS (2022)

Keyphrases

computer programs
data sets
database
real time
automatic programming
artificial intelligence
decision making
clustering algorithm
evolutionary algorithm
control structures
provably correct