Language EIPL

GitHub

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

---

Expansion

Extended Imperative Programming Language

---

Headline

A trivial imperative programming language

---

Details

EIPL is a small extension of BIPL to support unparameterized procedures in nested scopes.

---

Properties

• this relatesTo Language:C
• this facilitates Imperative programming
• this supersetOf Language:BIPL
• this embeds Language:EL

---

Representations

• eipl(text)
• eipl(term)

---

Components

• languages/EIPL/cs.egl (Context-free grammar)
• languages/EIPL/ls.egl (Context-free grammar)
• languages/EIPL/sample.eipl (Imperative program)
• languages/EIPL/as.esl (Algebraic signature)
• languages/EIPL/.hinzu (Annotation)
• languages/EIPL/README.md (Markup)
• languages/EIPL/eiplAbstract.pro (Logic program)
• languages/EIPL/.ueber (Megamodel)

---