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.
Sunday, May 8, 2011
ParaSail Reference Manual -- first complete draft posted
We have posted the first complete draft of the reference manual for the ParaSail programming language to the ParaSail google group:
A slightly updated version of the manual was just posted to the group. There is now a table of contents and a few more examples.
ReplyDelete