An Application of Program Derivation Techniques to 18th-Century Mathematics.

Published in: MPC (1998)

Keyphrases

computer science
real world
multiscale
static analysis
data sets
high level
evolutionary algorithm
st century
program execution