The 'Honeysuckle' Programming Language: Object and Protocol

摘要

Applications are demanding greater concurrency, higher integrity, and more reactive behaviour. There is a need to meet this demand without a requirement for additional tools and skills. To this end, HPL adds to Occam's inherent security by enforcing formal design rules which guarantee deadlock-freedom. Service protocol is introduced to constrain inter-process communication. Recursive data type definition is introduced to allow a little object-oriented programming (OOP) within communicating process architecture (CPA) and restore the balance between process and object abstraction.