Program generation, termination, and binding-time analysis.

Neil D. Jones Arne J. Glenstrup

Published in: ICFP (2002)

Keyphrases

neural network
statistical analysis
quantitative analysis
computer vision
data analysis
database
genetic algorithm
case study
three dimensional
database systems
video sequences
multi agent systems
test cases