Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about asynchronous communications or protocol compliance anymore. The language is based on strong theoretical bases, so that you can let its compiler do the jobs of checking your global programs and generating correct implementing code for you!

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow Chor

Chor Web Site

Other Useful Business Software
Direct Mail, an easy to use email marketing app for the Mac. Icon
Direct Mail, an easy to use email marketing app for the Mac.

Create and send professional and stylish email newsletters with Direct Mail.

Create and send professional and stylish email newsletters with Direct Mail. Designed for freelancers and and small and midsize businesses, this simple online marketing solution for Mac allows users to easily view campaign statistics on-the-go. Direct Mail features a suite of powerful email marketing tools that include an easy-to-use email template editor, advanced list management tools, mailing list sign up forms, and insightful campaign analytics reports.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Chor!

Additional Project Details

Intended Audience

Science/Research, Developers

User Interface

Eclipse

Programming Language

Java

Related Categories

Java Compilers, Java Distributed Computing Software, Java Internet Software

Registered

2011-12-12