Title :
Specification and Construction of Control Flow Semantics
Author :
Smelik, Ruben ; Rensink, Arend ; Kastenberg, Harmen
Author_Institution :
Dept. of Comput. Sci., Twente Univ.
Abstract :
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
Keywords :
formal specification; program control structures; programming language semantics; specification languages; visual languages; abstract syntax graph; control flow semantics construction; control flow semantics specification; flow graph construction; graph production systems; programming languages; specification language; visual language; Computer languages; Computer science; Flow graphs; Formal specifications; Global Positioning System; Java; Natural languages; Production systems; Programming profession; Specification languages;
Conference_Titel :
Visual Languages and Human-Centric Computing, 2006. VL/HCC 2006. IEEE Symposium on
Conference_Location :
Brighton
Print_ISBN :
0-7695-2586-5
DOI :
10.1109/VLHCC.2006.45
