Language BSL

GitHub

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

---

Expansion

Basic Signature Language

---

Headline

A language for abstract syntax definition

---

Details

BSL leverages many-sorted signatures for tree-based abstract syntax.

---

Properties

• this facilitates Syntax definition
• this facilitates Object-program representation
• this subsetOf Language:ESL

---

Representations

• bsl(text)
• bsl(term)

---

Components

• languages/BSL/cs.egl (Context-free grammar)
• languages/BSL/ls.egl (Context-free grammar)
• languages/BSL/as.esl (Algebraic signature)
• languages/BSL/.hinzu (Annotation)
• languages/BSL/README.md (Markup)
• languages/BSL/api.pro (Logic program)
• languages/BSL/as.pro (Logic program)
• languages/BSL/bglToBsl.pro (Logic program)
• languages/BSL/bslAbstract.pro (Logic program)
• languages/BSL/bslConformance.pro (Logic program)
• languages/BSL/esl-to-bsl.pro (Logic program)
• languages/BSL/prefix-term.pro (Logic program)
• languages/BSL/tuple-term.pro (Logic program)
• languages/BSL/.ueber (Megamodel)

---