In this paper we propose a visual language CFSL for specifying control flow semantics of programming languages. We also present a translation from CFSL to graph production systems (GPS) for flow graph construction; that is, any CFSL specification, say for a language L, gives rise to a GPS that constructs from any L-program (represented as an abstract syntax graph) the corresponding flow graph. The specification language is rich enough to capture complex language constructs, including all of Java.
|Publisher||IEEE Computer Society Press|
|Conference||IEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2006|
|Period||4/09/06 → 6/09/06|