Specification and Construction of Control Flow Semantics

R. Smelik; Arend Rensink; H. Kastenberg

doi:10.1109/VLHCC.2006.45

Specification and Construction of Control Flow Semantics

R. Smelik, Arend Rensink, H. Kastenberg

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

6 Citations (Scopus)

211 Downloads (Pure)

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.

Original language	Undefined
Title of host publication	Visual Languages and Human-Centric Computing (VL/HCC)
Editors	J Grundy, J. Howse
Place of Publication	Los Alamitos
Publisher	IEEE
Pages	65-72
Number of pages	8
ISBN (Print)	0-7695-2586-5
DOIs	https://doi.org/10.1109/VLHCC.2006.45
Publication status	Published - Sept 2006
Event	IEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2006: Visual Languages and Human-Centric Computing (VL/HCC) - Brighton, United Kingdom Duration: 4 Sept 2006 → 6 Sept 2006

Publication series

Name
Publisher	IEEE Computer Society Press
Number	2

Conference

Conference	IEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2006
Abbreviated title	VL-HCC
Country/Territory	United Kingdom
City	Brighton
Period	4/09/06 → 6/09/06

Keywords

IR-65588
METIS-238000
EWI-1938

Access to Document

10.1109/VLHCC.2006.45

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

Cite this

@inproceedings{e90691638c2949aeba73bf0cfb0a637c,

title = "Specification and Construction of Control Flow Semantics",

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 = "IR-65588, METIS-238000, EWI-1938",

author = "R. Smelik and Arend Rensink and H. Kastenberg",

note = "10.1109/VLHCC.2006.45 ; IEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2006 ; Conference date: 04-09-2006 Through 06-09-2006",

year = "2006",

month = sep,

doi = "10.1109/VLHCC.2006.45",

language = "Undefined",

isbn = "0-7695-2586-5",

publisher = "IEEE",

number = "2",

pages = "65--72",

editor = "J Grundy and J. Howse",

booktitle = "Visual Languages and Human-Centric Computing (VL/HCC)",

address = "United States",

}

Smelik, R, Rensink, A & Kastenberg, H 2006, Specification and Construction of Control Flow Semantics. in J Grundy & J Howse (eds), Visual Languages and Human-Centric Computing (VL/HCC)., 10.1109/VLHCC.2006.45, IEEE, Los Alamitos, pp. 65-72, IEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2006, Brighton, United Kingdom, 4/09/06. https://doi.org/10.1109/VLHCC.2006.45

TY - GEN

T1 - Specification and Construction of Control Flow Semantics

AU - Smelik, R.

AU - Rensink, Arend

AU - Kastenberg, H.

N1 - 10.1109/VLHCC.2006.45

PY - 2006/9

Y1 - 2006/9

N2 - 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.

AB - 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.

KW - IR-65588

KW - METIS-238000

KW - EWI-1938

U2 - 10.1109/VLHCC.2006.45

DO - 10.1109/VLHCC.2006.45

M3 - Conference contribution

SN - 0-7695-2586-5

SP - 65

EP - 72

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

A2 - Grundy, J

A2 - Howse, J.

PB - IEEE

CY - Los Alamitos

T2 - IEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2006

Y2 - 4 September 2006 through 6 September 2006

ER -