2007 |
19 | | Matthew M. Huntbach:
The Core Language of Aldwych.
CPA 2007: 51-66 |
2003 |
18 | | Matthew M. Huntbach:
Features of the Concurrent Programming Language Aldwych.
SAC 2003: 1048-1054 |
2000 |
17 | EE | Matthew M. Huntbach:
The Concurrent Language Aldwych
CoRR cs.PL/0009029: (2000) |
1999 |
16 | | Matthew M. Huntbach,
Graem A. Ringwood:
Agent-Oriented Programming, From Prolog to Guarded Definite Clauses.
Springer 1999 |
1995 |
15 | | Matthew M. Huntbach,
Nick R. Jennings,
Graem A. Ringwood:
How Agents Do It in Stream Logic Programming.
ICMAS 1995: 177-184 |
14 | EE | Matthew M. Huntbach:
The concurrent object-oriented language braid.
SAC 1995: 140-146 |
13 | EE | Matthew M. Huntbach:
Search in concurrent logic languages.
SAC 1995: 164-170 |
12 | EE | Matthew M. Huntbach,
Graem A. Ringwood:
Programming In Concurrent Logic Languages.
IEEE Software 12(6): 71-81 (1995) |
11 | | Matthew M. Huntbach:
An Introduction to RGDC as a Concurrent Object-Oriented Language.
JOOP 8(5): 29-37 (1995) |
1991 |
10 | | Matthew M. Huntbach:
Speculative Computation and Priorities in Concurrent Logic Languages.
ALPUK 1991: 23-35 |
9 | | Matthew M. Huntbach:
Automated Translation of Occam to a Concurrent Logic Language.
LOPSTR 1991: 254-275 |
1989 |
8 | | Matthew M. Huntbach:
Meta-interpreters and Partial Evaluation in Parlog.
Formal Asp. Comput. 1(2): 193-211 (1989) |
7 | EE | Matthew M. Huntbach:
Implementing a graph-colouring algorithm in Parlog.
SIGPLAN Notices 24(9): 80-85 (1989) |
1988 |
6 | EE | Matthew M. Huntbach,
F. Warren Burton:
Alpha-beta search on virtual tree machines.
Inf. Sci. 44(1): 3-17 (1988) |
1987 |
5 | | Matthew M. Huntbach:
Algorithmic PARLOG Debugging.
SLP 1987: 288-297 |
1986 |
4 | | Matthew M. Huntbach:
Program Synthesis by Inductive Inference.
ECAI 1986: 335-344 |
3 | | Matthew M. Huntbach:
An Improvised Version of Shapiro's Model Inference System.
ICLP 1986: 180-187 |
1985 |
2 | | F. Warren Burton,
Matthew M. Huntbach,
John G. Kollias:
Multiple Generation Text Files Using Overlapping Tree Structures.
Comput. J. 28(4): 414-416 (1985) |
1984 |
1 | | F. Warren Burton,
Matthew M. Huntbach:
Virtual Tree Machines.
IEEE Trans. Computers 33(3): 278-280 (1984) |