Towards a Compiler for Reals.

Eva Darulova Viktor Kuncak

Published in: ACM Trans. Program. Lang. Syst. (2017)

Keyphrases

programming language
constraint databases
software systems
general purpose
distributed memory machines
database
website
decision trees
code generation
highly optimized
level parallelism