PulseAugur
中
实时 12:35:06
实体 program states

program states

PulseAugur coverage of program states — every cluster mentioning program states across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
0
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_07358 ·

    Galois Connections: 代数助力程序可靠静态分析

    一篇博客文章深入探讨了静态程序分析的代数基础，强调了伽罗瓦连接（Galois connections）作为关键的数学概念。这些连接涉及双条件函数，使静态分析器能够推导出关于程序行为的事实信息，例如保证循环永远不会出现除以零的情况。文章解释了该代数框架如何利用有限格结构来计算跨越无限程序状态集合的属性。