111
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The finite powerset construction upgrades an abstract domain by allowing for the representation of finite disjunctions of its elements. In this paper we define three g...