Proving the Correctness of Recursion-Based Automatic Program Transformations.

Published in: Theor. Comput. Sci. (1996)

Keyphrases

complex objects
fully automatic
real world
computer programs
semi automatic
programming course
databases
static analysis
software engineering
multiscale
database systems
high level
feature selection
information systems
social networks
learning algorithm
data mining