sle2010/spaper3

SLE 2010 short paper:
DSLTrans: A Turing Incomplete Transformation Language

Bruno Barroca, Levi Lúcio, Vasco Amaral, Roberto Félix, Vasco Sousa

• DOI: 10.1007/978-3-642-19440-5_19
• T3B: Transformation Languages
  • DSLTrans is explicitly a transformation language, designed to express model transformations.
• T5D: Formal Methods
  • Turing incompleteness is used to guarantee properties like termination and confluence, enabling verification by construction.
• T4B: Horizontal Transformation
  • Its constructs target systematic horizontal model mappings with traceable links and layered rules.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.