S公司蜂箱C类控制F类低的A类分析

约阿希姆·布雷特纳 📧

2010年11月16日

这是本条目的开发版本。它可能会随着时间的推移而变化，并且不稳定。引用请参考发布版本。

摘要

在他的论文中，Olin Shivers引入了控制流图的概念对于函数式语言，提供了静态派生安全控制流图的近似，并证明了该算法的正确性。在这个研究项目，Shivers的算法和证明是形式化的HOL的HOLCF扩展。

许可证

许可协议

话题

会话Shivers-CFA

引用

× 
@文章{Shivers-CFA-AFP，author={Joachim Breitner}，title={Shivers的控制流分析}，journal={正式证据存档}，月份＝{十一月}，年份={2010}，注释={\url{https://isa-afp.org/entries/Shivers-CFA.html},形式证明开发}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：