On Program Completion, with an Application to the Sum and Product Puzzle.

Vladimir Lifschitz

Published in: CoRR (2023)

Keyphrases

life cycle
product design
control program
database
objective function
weighted sum
static analysis
java programs
machine learning
information retrieval
information systems
product quality
long tail