Implementing typeful program transformations.

Chiyan Chen Hongwei Xi

Published in: PEPM (2003)

Keyphrases

decision making
neural network
automatic programming
image processing
case study
test cases
computer programs
static analysis
genetic algorithm
multiscale
d objects
medical images
logic programs