Honeysuckle logo

Links:

Honeysuckle is a new language for programming reactive ("event-driven") systems, presenting a "client/server" model for abstraction that incorporates both concurrency and prioritized alternation between service provision.

Design is facilitated, separate from implementation, by an intuitive interface-definition language with high semantic content. A visual syntax is also defined.

Honeysuckle has a formal foundation, built upon C. A. R. Hoare's theory of Communicating Sequential Processes.  Formal design rules allow every program to guarantee freedom from deadlock.

Through automated static verification, Honeysuckle can offer the benefit of formal analysis without the cost.  No mathematical skills are required.  No extra tool need be applied.

A compiler and visual design tool are under development.

 

 

Home

Progress

Draft manual

Publications

Tutorial

Tools

    Contact : Dr Ian East

Page last modified: 16th September 2008
Pages copyright: Dr Ian Robert East