Babel brings the technology of an expert systems shell to the task of programming by providing intelligent support to the task of programming in three ways.
- By providing type security within all the languages supported by Babel; that includes projects written in native code.
- By providing automatic compilation from Shen to produce a standalone type secure application in any supported native code. Effectively transcending many languages (hence the name).
- By supplying the verification technology to allow the correctness of safety-critical applications to be carried out.