Renaming Global Variables in C Mechanically Proved Correct.

Published in: VPT@ETAPS (2016)

Keyphrases

relevant variables
globally consistent
input variables
multiscale
variable selection
information retrieval
search engine
feature selection
image processing
three dimensional
real time
data structure
lower bound
genetic algorithm
global information
multidatabase systems
real world
neural network