Differences

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

--- info:jimpi [2010/05/04 08:35] – if, skip 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 =====