Automatic Synthesis of Data-Flow Analyzers.

Xuezheng Xu, Xudong Wang, Jingling Xue

Browse the full SAS paper archive.