Language Hinzu

GitHub

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

---

Headline

An annotation language used in the YAS repository

---

Details

Hinzu serves specifically for the semantic annotation of languages.

---

Properties

• this facilitates Semantic annotation

---

Representations

• hinzu(term)

---

Components

• languages/Hinzu/as.esl (Algebraic signature)
• languages/Hinzu/.hinzu (Annotation)
• languages/Hinzu/README.md (Markup)
• languages/Hinzu/hinzuDump.pro (Logic program)
• languages/Hinzu/hinzuInference.pro (Logic program)
• languages/Hinzu/hinzuReasoning.pro (Logic program)
• languages/Hinzu/hinzuToMd.pro (Logic program)
• languages/Hinzu/.ueber (Megamodel)

---