Compiling Dataflow Analysis of Logic Programs.

Jichang Tan, I-Peng Lin

Browse the full PLDI paper archive.