ParaSail, a new language oriented toward parallelism and verific...

Courtesy Lambda the Ultimate - Programming Languages Weblog  Mon, 01/04/2010 - 10:59

For those who enjoy seeing sausages made, as opposed to just eating them, we have started a blog following the design of a new programming language called "ParaSail " for Parallel Specification and Implementation Language (not to be confused with SAIL or MAINSAIL, languages originating in the Stanford AI Lab):

http://parasail-programming-language.blogspot.com/

ParaSail doesn't exist yet, but the blog talks about it in what my colleagues call the "software present tense," presuming some day it might....


 

More related items

Why We Need More Programming Languages
InfoWorld: "Whenever a new programming language is announced, a certain segment of the developer population always rolls its eyes and groans that we have quite enough to choose from already,...

Google announces Dart programming language
A few days after Google was caught registering a bunch of Dart-related domain names, and the inevitable storm of speculation, it has now emerged that Dart is a new programming language for...

Why Programming Languages?
A short essay by Tom Van Cutsem, Why Programming Languages? When I present my research work on programming languages, people often ask me "why do you need a new programming language to solve...


 

Post new comment

The content of this field is kept private and will not be shown publicly.
computer-internet.marc8.com