Language TDL

GitHub

https://github.com/softlang/yas/tree/master/languages/TDL

---

Expansion

Term Difference Language

---

Headline

A representation format for term differences

---

Properties

• this facilitates Model differencing

---

Representations

• tdl(term)

---

Components

• languages/TDL/as.esl (Algebraic signature)
• languages/TDL/.hinzu (Annotation)
• languages/TDL/README.md (Markup)
• languages/TDL/tdlApply.pro (Logic program)
• languages/TDL/tdlDiff.pro (Logic program)
• languages/TDL/tdlInv.pro (Logic program)
• languages/TDL/.ueber (Megamodel)

---