Program Sketching Using Lifted Analysis for Numerical Program Families.

Aleksandar S. Dimovski Sven Apel Axel Legay

Published in: NFM (2021)

Keyphrases

static analysis
numerical analysis
dynamic analysis
database
statistical analysis
genetic algorithm
artificial intelligence
three dimensional
control program