An Abstract Domain Combinator for Separately Conjoining Memory Abstractions

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10936-7_18 ◽

2014 ◽

pp. 285-301 ◽

Cited By ~ 4

Author(s):

Antoine Toubhans ◽

Bor-Yuh Evan Chang ◽

Xavier Rival

Download Full-text