Over-Approximated Control Flow Graph Construction on Pure Esterel
スポンサーリンク
概要
- 論文の詳細を見る
Esterel is an imperative synchronous language for control-dominant reactive systems. Regardless of imperative features of Esterel, combination of parallel execution and preemption makes it difficult to build control flow graphs (CFGs) of Esterel programs. Simple and convenient CFGs can help to analyze Esterel programs. However, previous researches are not suitable for flow analyses of imperative languages. In this work, we present a method to construct over-approximated CFGs for Pure Esterel. Generated CFGs expose invisible interferences among threads and show program structures explicitly so that they are useful for program analyses based on graph theory or control-/data- flows.
論文 | ランダム
- アセトアニリド,アセトナフタリドの紫外線吸収スペクトルと分子構造
- アセトアニリドのニトロ化について
- スルファミン類およびアニリド類の分離および確認 : 濾紙微量電気泳動法による医薬品の分析(第4報)
- アセトアニリド中毒と思われる1例
- 1, 4-ナ7トキノの利用に関する研究 (第3報) : 1, 4-ジオキシナフタリンモノメチルエーテルの合成およびそれよりの分散アソ染料について