Program transformation by solving recurrences.

Beatrice Luca Stefan Andrei Hugh Anderson Siau-Cheng Khoo

Published in: PEPM (2006)

Keyphrases

real time
machine learning
web services
computer programs
image processing
relational databases
np hard
static analysis