/DSem

My toy denotational semantic implementation in ML.

Primary LanguageOCaml

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