Abstract :
A language for programming systems with communicating process architecture is introduced which builds on the success of occam. The principal innovations are presented, such as a priori deadlock-freedom, a transfer primitive, which conveys object ownership, and an alternation construct. The latter affords direct expression of prioritised reactive (event-driven) behaviour, including exception response. Honeysuckle also offers source-code modularity, object encapsulation, and the recursive definition of both object and process. Despite such ambition, a primary aim has been to retain simplicity in abstraction, expression and implementation.
Keywords :
communicating sequential processes; concurrency theory; object-oriented languages; programming language semantics; Honeysuckle programming language; a priori deadlock-freedom; alternation construct; communicating process architecture; event-driven behaviour; exception response; object encapsulation; object ownership; prioritised reactive behaviour; recursive definition; source-code modularity; transfer primitive;