ImperativeSmallStep

Semântica Operacional Small Step de uma Linguagem Imperativa

Semântica de Expressões Aritméticas

AExp = Num Int
| Var String
| Som AExp AExp
| Sub AExp AExp
| Mul Aexp Aexp

Semântica de Expressões Booleanas

BExp = TRUE
| FALSE
| Not BExp
| And BExp BExp
| Or BExp BExp
| Ig AExp AExp
| Leq AExp AExp

Semântica de Comandos

CExp = While BExp CExp
| If BExp CExp CExp
| Seq CExp CExp
| Atrib AExp AExp
| DuplaAtrib AExp AExp AExp AExp
| RepeatUntil CExp BExp
| For AExp AExp Aexp CExp
| Skip

Utilizando o Programa:

Rode o Makefile
Interprete utilizando as funções InterpretA, interpretB, interpretC
Tuplas de (Expressão/Comando, Estado)