Specification and Construction of Control Flow Semantics

R. Smelik, Arend Rensink, H. Kastenberg

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
54 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 languageUndefined
Title of host publicationVisual Languages and Human-Centric Computing (VL/HCC)
EditorsJ Grundy, J. Howse
Place of PublicationLos Alamitos
PublisherIEEE Computer Society
Pages65-72
Number of pages8
ISBN (Print)0-7695-2586-5
DOIs
Publication statusPublished - Sep 2006
EventIEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2006: Visual Languages and Human-Centric Computing (VL/HCC) - Brighton, United Kingdom
Duration: 4 Sep 20066 Sep 2006

Publication series

Name
PublisherIEEE Computer Society Press
Number2

Conference

ConferenceIEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2006
Abbreviated titleVL-HCC
CountryUnited Kingdom
CityBrighton
Period4/09/066/09/06

Keywords

  • IR-65588
  • METIS-238000
  • EWI-1938

Cite this

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) (pp. 65-72). [10.1109/VLHCC.2006.45] Los Alamitos: IEEE Computer Society. https://doi.org/10.1109/VLHCC.2006.45
Smelik, R. ; Rensink, Arend ; Kastenberg, H. / Specification and Construction of Control Flow Semantics. Visual Languages and Human-Centric Computing (VL/HCC). editor / J Grundy ; J. Howse. Los Alamitos : IEEE Computer Society, 2006. pp. 65-72
@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",
year = "2006",
month = "9",
doi = "10.1109/VLHCC.2006.45",
language = "Undefined",
isbn = "0-7695-2586-5",
publisher = "IEEE Computer Society",
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 Computer Society, 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

Specification and Construction of Control Flow Semantics. / Smelik, R.; Rensink, Arend; Kastenberg, H.

Visual Languages and Human-Centric Computing (VL/HCC). ed. / J Grundy; J. Howse. Los Alamitos : IEEE Computer Society, 2006. p. 65-72 10.1109/VLHCC.2006.45.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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 Computer Society

CY - Los Alamitos

ER -

Smelik R, Rensink A, Kastenberg H. Specification and Construction of Control Flow Semantics. In Grundy J, Howse J, editors, Visual Languages and Human-Centric Computing (VL/HCC). Los Alamitos: IEEE Computer Society. 2006. p. 65-72. 10.1109/VLHCC.2006.45 https://doi.org/10.1109/VLHCC.2006.45