Specification and Construction of Control Flow Semantics


Smelik, R. and Rensink, A. and Kastenberg, H. (2006) Specification and Construction of Control Flow Semantics. In: Visual Languages and Human-Centric Computing (VL/HCC), Sep 2006, Brighton, U.K. (pp. pp. 65-72).

open access
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.
Item Type:Conference or Workshop Item
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/65588
Official URL:http://doi.ieeecomputersociety.org/10.1109/VLHCC.2006.45
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 238000