Paper Details

%T The Core Language of Aldwych
%A Matthew Huntbach
%E Alistair A. McEwan, Steve Schneider, Wilson Ifill, Peter H. Welch
%B Communicating Process Architectures 2007
%X Aldwych is a general purpose programming language which we
   have developed in order to provide a mechanism for
   practical programming which can be thought of in an
   inherently concurrent way. We have described Aldwych
   elsewhere in terms of a translation to a concurrent logic
   language. However, it would be more accurate to describe it
   as translating to a simple operational language which, while
   able to be represented in a logic\-programming like syntax,
   has lost much of the baggage associated with
   &\[sh]8220;logic programming&\[sh]8221;. This
   language is only a little more complex than foundational
   calculi such as the pi\-calculus. Its key feature is that
   all variables are moded with a single producer, and some are
   linear allowing a reversal of polarity and hence interactive
   communication.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.