Automatic Programming for Streams II: Transformational Implementation.

David R. Barstow

Published in: ICSE (1988)

Keyphrases

automatic programming
data streams
theorem proving
gene expression programming
bayesian networks
visual features
linear combination