Reusable Specification Templates for Defining Dynamic Semantics of DSLs.

Ulyana Tikhonova

Published in: MoDELS (2017)

Keyphrases

specification language
dynamic constraints
high level declarative
high level
formal language
neural network
website
dynamic environments
semantic information
schema mappings
operational semantics
dynamic aspects
data sets
databases
object oriented