Syntax-driven Automata Generation for Esterel
Chulwoo Lee, Chul-Joo Kim, Jeong-Han Yun, Taisook Han, Kwang-Moo Choe · 2010
Esterel is an imperative synchronous language and its formal semantic based on finite state machine makes it easy to perform program analyses using automata. In this paper, we propose a syntax-driven automata generation rule. Because our rule intuitively expresses syntactic structure, it is very useful for other program analyses.