Zero-Cost Coercions for Program and Proof Reuse.

Larry Diehl Aaron Stump

Published in: CoRR (2018)

Keyphrases

computer programs
total cost
imperative programs
data sets
proof planning
databases
machine learning
information retrieval
case study
high cost
programming environment
cost savings
cost reduction
linear logic
program synthesis