抽象解释中乘积算子综述
计算机科学中的逻辑
2013-09-23 v1
摘要
本文旨在概述文献中引入的乘积算子，作为增强抽象解释框架中分析精度的工具。我们特别关注笛卡尔积和约化积，以及约化基数幂；后者是一种未被充分利用的技术，其特征因其在实际应用中的潜在影响而值得强调。
引用
@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}
}
备注
In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557