  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.
