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)
    138 Downloads (Pure)


    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
    Number of pages8
    ISBN (Print)0-7695-2586-5
    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

    PublisherIEEE Computer Society Press


    ConferenceIEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2006
    Abbreviated titleVL-HCC
    Country/TerritoryUnited Kingdom


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

    Cite this