Specification and construction of control flow semantics

被引：0
|
作者：
Smelik, Ruben [1 ]
Rensink, Arend [1 ]
Kastenberg, Harinen [1 ]
机构：
[1] Univ Twente, Dept Comp Sci, Twente, Netherlands
来源：
IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：65 / +
页数：2
相关论文
共 50 条
  • [1] Metamodelling with Formal Semantics with Application to Access Control Specification
    Abd-Ali, Jamal
    El Guemhioui, Karim
    Logrippo, Luigi
    [J]. MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2015, : 354 - 362
  • [2] Unified specification of control and data flow
    Grotker, T
    Schoenen, R
    Meyr, H
    [J]. 1997 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOLS I - V: VOL I: PLENARY, EXPERT SUMMARIES, SPECIAL, AUDIO, UNDERWATER ACOUSTICS, VLSI; VOL II: SPEECH PROCESSING; VOL III: SPEECH PROCESSING, DIGITAL SIGNAL PROCESSING; VOL IV: MULTIDIMENSIONAL SIGNAL PROCESSING, NEURAL NETWORKS - VOL V: STATISTICAL SIGNAL AND ARRAY PROCESSING, APPLICATIONS, 1997, : 271 - 274
  • [3] A metric approach to control flow semantics
    DeBakker, JW
    DeVink, EP
    [J]. PAPERS ON GENERAL TOPOLOGY AND APPLICATIONS: ELEVENTH SUMMER CONFERENCE AT THE UNIVERSITY OF SOUTHERN MAINE, 1996, 806 : 11 - 27
  • [4] Execution semantics to integrate control flow and data flow
    Ibrahim, B
    Randriamparany, H
    [J]. COMPUTERS AND THEIR APPLICATIONS, 2001, : 40 - 43
  • [5] Compositional specification of behavioral semantics
    Chen, Kai
    Sztipanovits, Janos
    Neema, Sandeep
    [J]. 2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 906 - +
  • [6] SEMANTICS OF A HARDWARE SPECIFICATION LANGUAGE
    LARSSON, T
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5): : 637 - 643
  • [7] EXECUTABLE SPECIFICATION OF STATIC SEMANTICS
    DESPEYROUX, T
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 173 : 215 - 233
  • [8] The formal specification of ORN semantics
    Ehlmann, BK
    Rishe, N
    Shi, J
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2000, 42 (03) : 159 - 170
  • [9] Operational semantics oriented specification
    Bachmann, P
    [J]. KUWAIT JOURNAL OF SCIENCE & ENGINEERING, 1997, 24 (01): : 1 - 20
  • [10] Denotational semantics of object specification
    Amílcar Sernadas
    Cristina Sernadas
    Carlos Caleiro
    [J]. Acta Informatica, 1998, 35 : 729 - 773
12345