larryhe / DSem

My toy denotational semantic implementation in ML.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Implemented all the semantics defined in the source code templates outlined as following: 
    * evaluate a number or boolean expression
    * evaluate the sum of two numbers
    * evaluate the product of two numbers
    * evaluate less-than expression
    * evaluate not expression
    * execute assign command
    * execute let-in command
    * execute if-then-else command
    * execute while-do command
    * execute procedure command
    * added all the test cases for above semantics implementation

About

My toy denotational semantic implementation in ML.


Languages

Language:OCaml 49.7%Language:Haskell 49.0%Language:Standard ML 1.1%Language:Shell 0.1%