YAS representation bipl(term)

Language

BIPL

---

Dependencies

• languages/BIPL: function
  • Function parse
  • Representation bipl(text)
  • Representation bipl(term)
  • Goal eglParser(biplAbstract: (~>))
  • Files
    • File languages/BIPL/cs.term
    • File languages/BIPL/ls.term
• languages/BIPL: membership
  • Representation bipl(term)
  • Goal eslLanguage
  • File languages/BIPL/as.term
• languages/BIPL/Prolog: function
  • Function bigstep
  • Representation bipl(term)
  • Representation bipl(store(term))
  • Goal biplBigstep:execute
  • Files: None
• languages/BIPL/Prolog: function
  • Function smallstep
  • Representation bipl(term)
  • Representation bipl(store(term))
  • Goal biplSmallstep:allSteps
  • Files: None

---

Files

• languages/BIPL/samples/abs.term
• languages/BIPL/samples/addmul.term
• languages/BIPL/samples/bracket.term
• languages/BIPL/samples/div.term
• languages/BIPL/samples/exp-loop.term
• languages/BIPL/samples/exp-sliced.term
• languages/BIPL/samples/exp-unrolled.term
• languages/BIPL/samples/factorialV1.term
• languages/BIPL/samples/factorialV2.term
• languages/BIPL/samples/geq.term
• languages/BIPL/samples/ifthen.term
• languages/BIPL/samples/ifthenelse.term

---