A Survey on Product Operators in Abstract Interpretation
Agostino Cortesi, Giulia Costantini, Pietro Ferrara · Repository for Publications and Research Data (ETH Zurich) · 2013
The aim of this paper is to provide a general overview of the product operators introduced in the literature as a tool to enhance the analysis accuracy in the Abstract Interpretation framework. In particular we focus on the Cartesian and reduced products, as well as on the reduced cardinal power, an under-used technique whose features deserve to be stressed for their potential impact in practical applications.