kirancodes.me
To Proof Maintenance & Beyond!

A framework for defining the dynamic semantics of DSLs

Ulyana Tikhonova

Abstract

In this research abstract we describe our project on a common reference framework for defining domain specific languages (DSLs). The framework is meant for defining the dynamic semantics of DSLs and allows for mapping the DSL definition to the various platforms, such as verification, validation and simulation. The objectives of the project are to make a DSL dynamic semantics definition explicit and to use this definition for bridging technological diversity of various platforms, used in the DSLs development.

BibTeX
@inproceedings{Tikhonova:FSE13,
  author    = {Ulyana Tikhonova},
  title     = {A framework for defining the dynamic semantics of {DSLs}},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {735--738},
  publisher = {{ACM}},
  year      = {2013},
}

Related papers