Language LAL

GitHub

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

---

Expansion

Linguistic Architecture Language

---

Headline

A logic-based megamodeling language used in YAS

---

Details

LAL is a predicate logic-based megamodeling language used for capturing properties of language processors and deriving test cases.

---

Properties

• this facilitates Megamodeling
• this facilitates Testing

---

Representations

• lal(text)
• lal(term)

---

Components

• languages/LAL/cs.egl (Context-free grammar)
• languages/LAL/ls.egl (Context-free grammar)
• languages/LAL/as.esl (Algebraic signature)
• languages/LAL/.hinzu (Annotation)
• languages/LAL/README.md (Markup)
• languages/LAL/lalAbstract.pro (Logic program)
• languages/LAL/lalDeps.pro (Logic program)
• languages/LAL/lalNorm.pro (Logic program)
• languages/LAL/lalOk.pro (Logic program)
• languages/LAL/lalPp.pro (Logic program)
• languages/LAL/lalReuse.pro (Logic program)
• languages/LAL/lalTermEq.pro (Logic program)
• languages/LAL/lalTextEq.pro (Logic program)
• languages/LAL/lalUeber.pro (Logic program)
• languages/LAL/.ueber (Megamodel)

---