Login / Signup

A framework for defining the dynamic semantics of DSLs.

Ulyana Tikhonova
Published in: ESEC/SIGSOFT FSE (2013)
Keyphrases
  • logical framework
  • object oriented
  • lightweight
  • theoretical framework
  • first order logic
  • conceptual framework