Paper Details

@InProceedings{Huntbach07,
  title = "{T}he {C}ore {L}anguage of {A}ldwych",
  author= "Huntbach, Matthew",
  editor= "McEwan, Alistair A. and Schneider, Steve and Ifill, Wilson and Welch, Peter H.",
  pages = "51--66",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2007",
  isbn= "978-1-58603-767-3",
  year= "2007",
  month= "jul",
  abstract= "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 \&\#8220;logic
     programming\&\#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.