Compositional optimizations for CertiCoq.

Zoe Paraskevopoulou John M. Li Andrew W. Appel

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

real time
evolutionary algorithm
general purpose
keywords
special case
multi objective evolutionary