PulseAugur
实时 13:57:00
实体 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天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_07358 ·

    Galois Connections: Algebra Powers Sound Static Analysis for Programs

    A recent blog post delves into the algebraic underpinnings of static program analysis, highlighting Galois connections as a key mathematical concept. These connections, involving biconditional functions, enable static a…