DIPARTIMENTO   DI   INFORMATICA
Università di Torino

Useless-Code Elimination for (a small subset of) Caml

Accepted syntax

program ::= expr;;
expr ::= VAR-NAME | constant
| expr expr
| fun VAR-NAME -> expr
| if expr then expr else expr
| let let-binding in expr
| let rec let-binding in expr
| ( expr {, expr }+ ) | ( fst expr ) | ( snd expr )
| not expr | expr infix-op expr
constant ::= ... | -1 | 0 | 1 | ... | true | false | ()
let-binding ::= VAR-NAME = expr
infix-op ::= + | - | * | /
| > | < | = | <>
| && | ||


[Back]

Comments to: damiani[at]di[dot]unito[dot]it