Sealing Pointer-Based Optimizations Behind Pure Functions.

Daniel Selsam Simon Hudon Leonardo de Moura

Published in: CoRR (2020)

Keyphrases

data structure
real time
databases
cooperative
data mining
information systems
decision making
metadata
high quality
optimal solution
special case
management system
medical images
multi objective evolutionary