A language for information flow: dynamic tracking in multiple interdependent dimensions.

Avraham Shinnar, Marco Pistoia, Anindya Banerjee

Browse the full PLDI paper archive.