An Operational Semantics of Program Dependence Graphs
スポンサーリンク
概要
- 論文の詳細を見る
Program dependence graphs (PDGs) represent data and control dependences between statements in a program. PDGs should have formal semantics which is equivalent to that of programs. Although a few formal semantics of PDGs have been introduced, they could only treat structured programs. In this paper, we present an operational semantics of PDGs, corresponding programs of which have complicated control flow. Then, we define a class of deterministic PDGs and prove that programs whose PDGs are deterministic PDGs have the same meaning as the corresponding PDGs.
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)