Register Promotion in C Programs.

Keith D. Cooper John Lu

Published in: PLDI (1997)

Keyphrases

computer programs
databases
data sets
artificial intelligence
preprocessing
database
high level
probabilistic model
programming environment
fixpoint
automatic programming
control structures
provably correct