BriefGPT.xyz
Ask
alpha
关键词
separation logic
搜索结果 - 1
指针程序序列的分离逻辑及其可判定性
我们提出了序列堆分离逻辑,将序列集成到堆操纵程序的逻辑推理中,该逻辑包括序列变量量词和存储序列的单例堆。我们研究了序列堆分离逻辑的两个片段的可满足性问题,并探讨了正前式正规形式的解释逻辑边界。
PDF
2 years ago
Prev
Next