| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| info:jimpi [2010/05/04 10:29] – grammar moritz | info:jimpi [2010/05/16 18:15] (current) – update link moritz |
|---|
| ====== JIMPI - Java IMP Interpreter ====== | ====== JIMPI - Java IMP Interpreter ====== |
| In the lecture [[http://www.infsec.ethz.ch/education/ss10/fmfp|Formal Methods and Functional Programming]] we were reasoning about a simple language called IMP. The JIMPI project implements a parser, interpreter and bytecode emitter. The source is available as an Eclipse project from [[http://dev.antiguru.de/jimpi.zip]] | In the lecture [[http://www.infsec.ethz.ch/education/ss10/fmfp|Formal Methods and Functional Programming]] we were reasoning about a simple language called IMP. The JIMPI project implements a parser, interpreter and byte code emitter. The source is available from [[http://jimpi.origo.ethz.ch/]]. |
| |
| ===== Language ===== | ===== Language ===== |
| File: Procedure* Statement*; | File: Procedure* Statement*; |
| Procedure: 'procedure' Symbol '(' (symbol (',' symbol)*)? ';' (symbol (',' symbol)*)? ')' 'begin' Statement* 'end'; | Procedure: 'procedure' Symbol '(' (symbol (',' symbol)*)? ';' (symbol (',' symbol)*)? ')' 'begin' Statement* 'end'; |
| Statement: While | Until | For | Scope | Assign; | Statement: While | Until | For | Scope | Assign | If | Skip; |
| While: 'while' Expression 'do' Statement* 'end'; | While: 'while' Expression 'do' Statement* 'end'; |
| Until: 'repeat' Statement* 'until' Expression; | Until: 'repeat' Statement* 'until' Expression; |
| Scope: 'var' Assign 'in' Statement* 'end'; | Scope: 'var' Assign 'in' Statement* 'end'; |
| Assign: Symbol ':=' Expression; | Assign: Symbol ':=' Expression; |
| | If: 'if' Expression 'then' Statement* ('else' Statement*)? 'end'; |
| | Skip: 'skip'; |
| |
| Expression: '(' Expression BinOp Expression ')' | Number | Symbol | Expression: '(' Expression BinOp Expression ')' | Number | Symbol | Symbol '(' (Expression (',' Expression)*)? ';' (symbol (',' symbol)*)? ')' |
| BinOp: '+' | '-' | '*' | '=' | '#' | '>' | '>' | '>=' | '<=' | 'and' | 'or'; | BinOp: '+' | '-' | '*' | '=' | '#' | '>' | '>' | '>=' | '<=' | 'and' | 'or'; |
| </code> | </code> |
