Specification and Construction of Control Flow Semantics

Authors:
Ruben Smelik;Arend Rensink;Harmen Kastenberg
Affiliations:
University of Twente, The Netherlands;University of Twente, The Netherlands;University of Twente, The Netherlands
Venue:
VLHCC '06 Proceedings of the Visual Languages and Human-Centric Computing
Year:
2006

Citing 0
Cited 2

A graph-transformation-based simulation approach for analysing aspect interference on shared join points

Proceedings of the 8th ACM international conference on Aspect-oriented software development
Using graph transformations and graph abstractions for software verification

ICGT'10 Proceedings of the 5th international conference on Graph transformations

Quantified Score

Hi-index	0.00

Visualization

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.