Language BIPL

GitHub

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

---

Expansion

Basic Imperative Programming Language

---

Headline

A trivial imperative programming language

---

Details

BIPL supports primitive types for integer and Boolean values; it does not support input, output, and procedures. BIPL may be viewed as small fragment of C.

---

Properties

• this relatesTo Language:C
• this facilitates Imperative programming
• this subsetOf Language:EIPL
• this embeds Language:EL

---

Representations

• bipl(text)
• bipl(term)

---

Components

• languages/BIPL/cs.egl (Context-free grammar)
• languages/BIPL/ls.egl (Context-free grammar)
• languages/BIPL/as.esl (Algebraic signature)
• languages/BIPL/.hinzu (Annotation)
• languages/BIPL/README.md (Markup)
• languages/BIPL/biplAbstract.pro (Logic program)
• languages/BIPL/.ueber (Megamodel)
• languages/BIPL/Haskell (Language implementation)
• languages/BIPL/Haskell/Language/BIPL (Language implementation)
• languages/BIPL/Haskell/Language/BIPL/Algebra (Language implementation)
• languages/BIPL/Haskell/Language/BIPL/Analysis (Program analysis)
• languages/BIPL/Haskell/Language/BIPL/CS (Interpreter)
• languages/BIPL/Haskell/Language/BIPL/DS (Interpreter)
• languages/BIPL/Haskell/Language/BIPL/Goto (Interpreter)
• languages/BIPL/Haskell/Language/BIPL/MonadicAlgebra (Language implementation)
• languages/BIPL/Haskell/Language/BIPL/Rename (Transformation)

---