Proving the Correctness of Recursion-Based Automatic Program Transformations.

Published in: TAPSOFT (1995)

Keyphrases

semi automatic
fully automatic
data mining
complex objects
computer programs
databases
neural network
decision making
website
face recognition
deductive databases
programming environment
program synthesis
control program