Our long-term mission is to provide a model based simulation tool founded on an arithmetic which allows verified computing with dynamical precision and automated failure analysis. A major step towards this is providing a programming tool founded on such an arithmetic.
For reasons not to be shortly explained, we have chosen the matlab language as a first prototype.
The original interpreter of the matlab language provided by the mathworks, also called matlab for short, is quite closed (concerning source and fine grained documentation) and expensive.
In the long run we will provide a separate matlab interpreter (working name mflow) which will, among other things, be able to run with quite general kinds of arithmetics instead of plain double. As you can imagine, this is a quite heavy task but shortly at least a parser of the matlab language based on antlr will be available, whereas one has to wait for some time for the complete matlab interpreter. In the meantime, we use the free matlab clone octave instead (matlab or mflow).
Unlike the original matlab interpreter, octave does not provide a full java interface, we would need to integrate our arithmetic which is written in java. But there is an integration of java within octave written by Michael Goffioul which is in the meantime (octave 4.3.0+) integrated into octave and the converse integration of octave into java originally written by Kim Hansen which is not (yet?) integrated into octave. (To be honest, it is my plan, to mature the integration and then pass it to the octave team. ) To summarize, we offer the following pieces of software (yet or in more or less near future):