Rational Synthesis.

Dana Fisman Orna Kupferman Yoad Lustig

Published in: TACAS (2010)

Keyphrases

decision making
texture synthesis
database
databases
social networks
case study
trade off
program synthesis
functional decomposition
real world
information retrieval
wide range
functional programs