Code Generation for Functions as Data.

Andreas Lochbihler

Published in: Arch. Formal Proofs (2009)

Keyphrases

database
data processing
data sets
data analysis
building blocks
application development
code generation
real world
data quality