Proving optimizations correct using parameterized program equivalence.

Sudipta Kundu Zachary Tatlock Sorin Lerner

Published in: PLDI (2009)

Keyphrases

computer programs
multiscale
program execution
data sets
databases
neural network
information retrieval
information systems
decision making
web services
multi agent
information technology
static analysis