loading...
Specification and Construction of Control Flow Semantics
Brighton, United Kingdom September 04-September 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/VLHCC.2006.45Visual Languages and Human-Centric Co ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
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
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions