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)
    69 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