Building a Bridge between Pointer Aliases and Program Dependences.

John L. Ross Shmuel Sagiv

Published in: ESOP (1998)

Keyphrases

data structure
databases
automatic programming
program execution
database
machine learning
computer vision
web services
database systems
computer programs
programming environment
program synthesis