Language ESL

GitHub

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

---

Expansion

Extended Signature Language

---

Headline

A language for abstract syntax definition

---

Details

ESL leverages many-sorted signatures extended with tuples, lists, and primitive types for tree-based abstract syntax.

---

Properties

• this facilitates Syntax definition
• this facilitates Object-program representation
• this supersetOf Language:BSL

---

Representations

• esl(text)
• esl(term)

---

Components

• languages/ESL/cs.egl (Context-free grammar)
• languages/ESL/ls.egl (Context-free grammar)
• languages/ESL/as.esl (Algebraic signature)
• languages/ESL/.hinzu (Annotation)
• languages/ESL/README.md (Markup)
• languages/ESL/api.pro (Logic program)
• languages/ESL/applied-term.pro (Logic program)
• languages/ESL/as.pro (Logic program)
• languages/ESL/conformance.pro (Logic program)
• languages/ESL/eslAbstract.pro (Logic program)
• languages/ESL/.ueber (Megamodel)

---