The Core Language of Aldwich
@inproceedings{Huntbach2013TheCL, title={The Core Language of Aldwich}, author={Matthew M. Huntbach}, year={2013} }
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
Topics from this paper
One Citation
References
SHOWING 1-10 OF 31 REFERENCES
Pict: a programming language based on the Pi-Calculus
- Computer Science
- Proof, Language, and Interaction
- 2000
- 441
- PDF
Computational Interpretations of Linear Logic
- Computer Science, Mathematics
- Theor. Comput. Sci.
- 1993
- 505
Logic Programming
- Computer Science
- Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
- 1990
- 1,712