Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Over-Approximated Control Flow Graph Construction on Pure Esterel Pembinaan Graf Aliran Kawalan Lebih Anggaran pada Esterel Tulen

Chul-Joo KIM, Jeong-Han YUN, Seonggun KIM, Kwang-Moo CHOE, Taisook HAN

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Esterel ialah bahasa segerak yang penting untuk sistem reaktif dominan kawalan. Tanpa mengira ciri penting Esterel, gabungan pelaksanaan selari dan preemption menyukarkan untuk membina graf aliran kawalan (CFG) program Esterel. CFG yang ringkas dan mudah boleh membantu menganalisis program Esterel. Walau bagaimanapun, kajian terdahulu tidak sesuai untuk analisis aliran bahasa imperatif. Dalam kerja ini, kami membentangkan kaedah untuk membina CFG yang lebih anggaran untuk Esterel Tulen. CFG yang dijana mendedahkan gangguan yang tidak kelihatan di antara benang dan menunjukkan struktur atur cara secara eksplisit supaya ia berguna untuk analisis atur cara berdasarkan teori graf atau aliran kawalan/data.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E93-D No.5 pp.985-993
Tarikh penerbitan
2010/05/01
Diumumkan
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.E93.D.985
Jenis Manuskrip
Special Section PAPER (Special Section on Formal Approach)
kategori
Analisis Program

Pengarang

Kata kunci

Contents [show]