Specification and Construction of Control Flow Semantics

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Ruben Smelik Articles by Arend Rensink Articles by Harmen Kastenberg

Visual Languages and Human-Centric Computing (VL/HCC'06)

Brighton, United Kingdom

September 04-September 08

ISBN: 0-7695-2586-5

	ASCII Text	x
	Ruben Smelik, Arend Rensink, Harmen Kastenberg, "Specification and Construction of Control Flow Semantics," Visual Languages - Human Centric Computing, pp. 65-72, Visual Languages and Human-Centric Computing (VL/HCC'06), 2006.

	BibTex	x
	@article{ 10.1109/VLHCC.2006.45, author = {Ruben Smelik and Arend Rensink and Harmen Kastenberg}, title = {Specification and Construction of Control Flow Semantics}, journal ={Visual Languages - Human Centric Computing}, volume = {0}, year = {2006}, isbn = {0-7695-2586-5}, pages = {65-72}, doi = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2006.45}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Visual Languages - Human Centric Computing TI - Specification and Construction of Control Flow Semantics SN - 0-7695-2586-5 SP65 EP72 A1 - Ruben Smelik, A1 - Arend Rensink, A1 - Harmen Kastenberg, PY - 2006 KW - null VL - 0 JA - Visual Languages - Human Centric Computing ER -

Ruben Smelik, University of Twente, The Netherlands

Arend Rensink, University of Twente, The Netherlands

Harmen Kastenberg, University of Twente, The Netherlands

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/VLHCC.2006.45

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.

Citation:

Ruben Smelik, Arend Rensink, Harmen Kastenberg, "Specification and Construction of Control Flow Semantics," vlhcc, pp.65-72, Visual Languages and Human-Centric Computing (VL/HCC'06), 2006

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.