This is an old revision of the document!

JIMPI - Java IMP Interpreter

In the lecture 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

License

Jimpi is published under the tems of EPL 1.0.