plumpmath / imp Goto Github PK

Int  ::= the domain of (unbounded) integer numbers, with usual operations on them
Bool ::= the domain of Booleans
Id   ::= standard identifiers
AExp ::= Int
       | Id
       | AExp + AExp
       | AExp - AExp
       | AExp * AExp
       | AExp / AExp
BExp ::= Bool
       | AExp <= AExp   // less than
       | AExp = AExp    // equal?
       | not BExp
       | BExp ^ BExp    // and
       | BExp | BExp    // or   
Stmt ::= skip
       | Id := AExp     // assignment operation
       | Stmt;Stmt
       | if BExp then Stmt else Stmt
       | while BExp do Stmt
Pgm  ::= var List{Id};Stmt