Tarjan的支配树算法

这篇文章介绍了Tarjan的快速支配算法1。这个算法很有洞察力地利用了”半支配“的性质。

语义分割论文概览

这篇文章是顺着一篇语义分割的综述1开始阅读相关论文。

Coq学习笔记(未完待续)

这篇文章来自《Coq in a Hurry》1的总结。

区间分析

这篇文章的内容来自Allen的Control Flow Analysis1

检测流图的可归约性

这篇文章的主要内容来自于Tarjan的Testing Flow Graph Reducibility1。研究这篇文章的目的是为了得到求解归约序列的算法。依照规约序列分析可以很好的降低分析的复杂度,比如“从CFG直接构建GSA的算法”中的算法。