Lingva: Generating and Proving Program Properties Using Symbol Elimination.

Ioan Dragan Laura Kovács

Published in: Ershov Memorial Conference (2014)

Keyphrases

preprocessing
machine learning
programming environment
hidden markov models
case study
evolutionary algorithm
wide range
multiscale
key properties
topological properties
computer programs
multiresolution
neural network
high level
image processing
social networks
artificial intelligence
genetic algorithm
data mining