Matthew M. Huntbach

23 papers A 1B 1C 1Misc 3Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2011 — conf
A Model for Concurrency Using Single-Writer Single-Assignment Variables.
CPA
Matthew M. Huntbach
2007 — conf
The Core Language of Aldwych.
CPA
Matthew M. Huntbach
2003 Misc conf
Features of the Concurrent Programming Language Aldwych.
SAC
Matthew M. Huntbach
2000 J jnl
The Concurrent Language Aldwych
CoRR
Matthew M. Huntbach
1999 — book
Agent-Oriented Programming, From Prolog to Guarded Definite Clauses.
Matthew M. Huntbach, Graem A. Ringwood
1995 J jnl
An Introduction to RGDC as a Concurrent Object-Oriented Language.
J. Object Oriented Program.
Matthew M. Huntbach
1995 — conf
How Agents Do It in Stream Logic Programming.
ICMAS
Matthew M. Huntbach, Nick R. Jennings, Graem A. Ringwood
1995 J jnl
Programming In Concurrent Logic Languages.
IEEE Softw.
Matthew M. Huntbach, Graem A. Ringwood
1995 Misc conf
Search in concurrent logic languages.
SAC
Matthew M. Huntbach
1995 Misc conf
The concurrent object-oriented language braid.
SAC
Matthew M. Huntbach
1991 C conf
Automated Translation of Occam to a Concurrent Logic Language.
LOPSTR
Matthew M. Huntbach
1991 J jnl
Parallel branch-and-bound search in Parlog.
Int. J. Parallel Program.
Matthew M. Huntbach
1991 — conf
Speculative Computation and Priorities in Concurrent Logic Languages.
ALPUK
Matthew M. Huntbach
1989 J jnl
Implementing a graph-colouring algorithm in Parlog.
ACM SIGPLAN Notices
Matthew M. Huntbach
1989 — —
Interactive program debugging and synthesis.
Matthew M. Huntbach
1989 J jnl
Meta-interpreters and Partial Evaluation in Parlog.
Formal Aspects Comput.
Matthew M. Huntbach
1988 J jnl
Alpha-beta search on virtual tree machines.
Inf. Sci.
Matthew M. Huntbach, F. Warren Burton
1987 — conf
Algorithmic PARLOG Debugging.
SLP
Matthew M. Huntbach
1986 B conf
An Improvised Version of Shapiro's Model Inference System.
ICLP
Matthew M. Huntbach
1986 A conf
Program Synthesis by Inductive Inference.
ECAI
Matthew M. Huntbach
1985 J jnl
Multiple Generation Text Files Using Overlapping Tree Structures.
Comput. J.
F. Warren Burton, Matthew M. Huntbach, John G. Kollias
1984 J jnl
Lazy Evaluation of Geometric Objects.
IEEE Computer Graphics and Applications
F. Warren Burton, Matthew M. Huntbach
1984 J jnl
Virtual Tree Machines.
IEEE Trans. Computers
F. Warren Burton, Matthew M. Huntbach