Specification and Construction of Control Flow Semantics

Author

Smelik, Ruben ; Rensink, Arend ; Kastenberg, Harmen

Author_Institution

Dept. of Comput. Sci., Twente Univ.

fYear

2006

fDate

4-8 Sept. 2006

Firstpage

65

Lastpage

72

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

formal specification; program control structures; programming language semantics; specification languages; visual languages; abstract syntax graph; control flow semantics construction; control flow semantics specification; flow graph construction; graph production systems; programming languages; specification language; visual language; Computer languages; Computer science; Flow graphs; Formal specifications; Global Positioning System; Java; Natural languages; Production systems; Programming profession; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

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

Conference_Location

Brighton

Print_ISBN

0-7695-2586-5

Type

conf

DOI

10.1109/VLHCC.2006.45

Filename

1698764