An Abstract Domain Combinator for Separately Conjoining Memory Abstractions.

Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival

Browse the full SAS paper archive.