Experience Report on Automated Procedure Construction for Deductive Synthesis.

Steve Roach Jeffrey Van Baalen

Published in: ASE (2002)

Keyphrases

construction process
functional programs
semi automated
computer assisted
user experience
fully automated
automated analysis
learning curve
data driven
context sensitive
personal experiences
texture synthesis
data sets
search space
database systems
search engine
machine learning
databases