Specification and Construction of Control Flow Semantics

Smelik, R.M.; Rensink, Arend; Kastenberg, Harmen

doi:10.1109/vlhcc.2006.45

Cited by 11 publications

(10 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A first step has already been reported in [24], in which rules are specified for building a control flow graph for any imperative object-oriented language. This will give rise to a method for defining the semantics of SLs, which fill the gap currently present in MDA, as pointed out in the introduction.…”

Section: Resultsmentioning

confidence: 99%

Defining Object-Oriented Execution Semantics Using Graph Transformations

Kastenberg

Kleppe

Rensink

2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics of a small but realistic object-oriented language (called TAAL) by mapping the language constructs to graphs (the static semantics) and modelling their effect by graph transformation rules (the dynamic semantics). This gives rise to execution models for all TAAL-programs, which can be used as the basis for formal verification.This work constitutes a first step towards a method for defining all aspects of software languages, besides their concrete syntax, in a consistent and rigorous manner. Such a method facilitates the integration of formal correctness in the software development trajectory.

show abstract

Section: Resultsmentioning

confidence: 99%

Defining Object-Oriented Execution Semantics Using Graph Transformations

Kastenberg

Kleppe

Rensink

2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…If one such a constraint is violated, the corresponding rule is applicable which then immediately terminates that branch of the transformation process. For an overview on which constraints have been formalized as graph transformation rules, the interested reader is referred to [174].…”

Section: Resultsmentioning

confidence: 99%

“…We use two example Taal-programs to explain our approach. This chapter is based on [111,112] and the results of the master projects by Sombekke [176] and Smelik [175,174].…”

Section: Outline Of the Thesismentioning

confidence: 99%

“…In another master project [175,174] carried out under our supervision, we have developed the Control Flow Specification Language (cfsl, for short). The cfsl is a specification language in which one can specify the control flow semantics of programming languages that feature many of the usual programming constructs.…”

Section: Extensionsmentioning

confidence: 99%

“…The details of how this is handled are out of scope of this thesis. The interested reader is referred to [174].…”

Section: Cfsl Meta-modelmentioning

confidence: 99%

See 2 more Smart Citations