Type-Directed Code Reuse using Integer Linear Programming.

Yuepeng Wang Yu Feng Ruben Martins Arati Kaushik Isil Dillig Steven P. Reiss

Published in: CoRR (2016)

Keyphrases

integer linear programming
column generation
bicriteria
linear inequalities
code reuse
source code
global constraints
pseudo boolean
multi agent systems
open source
branch and bound
boolean satisfiability
perfect phylogeny