A Survey on Product Operators in Abstract Interpretation
Logic in Computer Science
2013-09-23 v1
Abstract
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.
Cite
@article{arxiv.1309.5146,
title = {A Survey on Product Operators in Abstract Interpretation},
author = {Agostino Cortesi and Giulia Costantini and Pietro Ferrara},
journal= {arXiv preprint arXiv:1309.5146},
year = {2013}
}
Comments
In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557