deaf-parrot

Prototype Language Implementation in JavaScript v2

Research Prototype ("Deaf Parrot")

https://deaf-parrot.googlecode.com/svn/trunk/df.png

Latest Development Version (opens browser-based playground editor, includes examples)

(screenshot)

[21/4/2014] Feature complete. From now on only bug fixes and optimizations.

Paper describing the formal system: "Rely-Guarantee Protocols" (DOI).

Notes: Written in javascript, designed for Google Chrome. Performance and style issues may be experienced if using other browsers. Fork of Dead Parrot to include sharing constructs, bug fixes, and syntactical changes.

Project Information

The project was created on Dec 12, 2013.