A Survey on Product Operators in Abstract Interpretation
Agostino Cortesi, Giulia Costantini, Pietro Ferrara
Electronic Proceedings in Theoretical Computer Science · 2013
doi:10.4204/eptcs.129.19 (opens in a new tab)
We email you when a new notice or a question about this paper appears.
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.
Abstract licence: CC BY-NC-ND
Reads
Read by people on this page
None yet.
Checked or read by AI through naulon
None yet.
A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.
Are you an author?
Is this your paper?
Claim it to add your note and be paid when agents cite it. Free.