Differences

This shows you the differences between two versions of the page.

--- info:jimpi [2010/05/04 08:30] – procedure call added moritz
+++ info:jimpi [2010/05/16 16:15] (current) – update link moritz
@@ Line 1: / Line 1: @@
 ====== 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 =====
@@ Line 10: / Line 10: @@
 File: Procedure* Statement*;
 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';
 Until: 'repeat' Statement* 'until' Expression;
@@ Line 16: / Line 16: @@
 Scope: 'var' Assign 'in' Statement* 'end';
 Assign: Symbol ':=' Expression;
+If: 'if' Expression 'then' Statement* ('else' Statement*)? 'end';
+Skip: 'skip';
 Expression: '(' Expression BinOp Expression ')' | Number | Symbol | Symbol '(' (Expression (',' Expression)*)? ';' (symbol (',' symbol)*)? ')'