Unbounded Procedure Summaries from Bounded Environments.

Lauren Pick, Grigory Fedyukovich, Aarti Gupta

Browse the full VMCAI paper archive.