Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries.

Hugo Illous, Matthieu Lemerre, Xavier Rival

Browse the full SAS paper archive.