Keyword : synchronous language


Over-Approximated Control Flow Graph Construction on Pure Esterel
Chul-Joo KIM Jeong-Han YUN Seonggun KIM Kwang-Moo CHOE Taisook HAN 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/05/01
Vol. E93-D  No. 5 ; pp. 985-993
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Program Analysis
Keyword: 
esterelcontrol flow graphsynchronous language
 Summary | Full Text:PDF(979.9KB)