This blog will follow the trials and tribulations of designing a new programming language designed to allow productive development of parallel, high-integrity (safety-critical, high-security) software systems. The language is tentatively named "ParaSail" for Parallel, Specification and Implementation Language.
We have just made a release of the ParaSail interpreter, VM, and compiler. This is version 6.5, and is mostly a bug-fix release relative to 6.3. We are working on a static analyzer and optimizer for ParaSail, and this release contains prototypes for both of those (ParaScope, and a combination of ParaScope and the compiler). The static analyzer can be invoked using "bin/scope.csh file1.psl file2.psl ...". The optimizer is not quite ready for prime time at this point, but feel free to investigate lib/vn_il.ps? to see how the compiler and static analyzer are being integrated to provide LLVM optimization. As before, the source release is available at: