Corpus ID: 59795641

The Core Language of Aldwich

  title={The Core Language of Aldwich},
  author={Matthew M. Huntbach},
  • Matthew M. Huntbach
  • Published 2013
  • Computer Science
  • Aldwych is a general purpose programming 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 [Hunt 00] 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 logicprogramming like syntax, has lost much of the baggage associated with… CONTINUE READING
    1 Citations
    A Model for Concurrency Using Single-Writer Single-Assignment Variables
    • 1
    • PDF


    Features of the concurrent programming language Aldwych
    • 4
    The Concurrent Language Aldwych
    • 2
    • PDF
    Pict: a programming language based on the Pi-Calculus
    • 441
    • PDF
    Object oriented programming in Concurrent Prolog
    • 32
    Computational Interpretations of Linear Logic
    • 505
    A Typed Foundation for Directional Logic Programming
    • 22
    • PDF
    The family of concurrent logic programming languages
    • 559
    • Highly Influential
    Experiences with Strong Moding in Concurrent Logic/Constraint Programming
    • 16
    Why Functional Programming Matters
    • 900
    • PDF
    Logic Programming
    • K. Apt
    • Computer Science
    • Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
    • 1990
    • 1,712