Browsing Department of Computer Science Research Reports: 2000 - 2008 by Author "Huntbach, Matthew"
Now showing items 1-3 of 3
-
Adding Function Arguments to Moded Guarded Definite Clauses
Huntbach, Matthew (2013-12-30) -
Coordination using a Single-Writer Multiple-Reader Concurrent Logic Language
Huntbach, Matthew (2013-12-10)The principle behind concurrent logic programming is a set of processes which co-operate in monotonically constraining a global set of variables to particular values. Each process will have access to only some of the ... -
The Core Language of Aldwich
Huntbach, Matthew (2013-12-30)