Matthew M. Huntbach

Publication Activity (10 Years)

Years Active: 1984-2011
Publications (10 Years): 0

Publications

Matthew M. Huntbach
A Model for Concurrency Using Single-Writer Single-Assignment Variables. CPA (2011)
Matthew M. Huntbach
The Core Language of Aldwych. CPA (2007)
Matthew M. Huntbach
Features of the Concurrent Programming Language Aldwych. SAC (2003)
Matthew M. Huntbach
The Concurrent Language Aldwych CoRR (2000)
Matthew M. Huntbach
An Introduction to RGDC as a Concurrent Object-Oriented Language. J. Object Oriented Program. 8 (5) (1995)
Matthew M. Huntbach, Graem A. Ringwood
Programming In Concurrent Logic Languages. IEEE Softw. 12 (6) (1995)
Matthew M. Huntbach, Nick R. Jennings, Graem A. Ringwood
How Agents Do It in Stream Logic Programming. ICMAS (1995)
Matthew M. Huntbach
The concurrent object-oriented language braid. SAC (1995)
Matthew M. Huntbach
Search in concurrent logic languages. SAC (1995)
Matthew M. Huntbach
Parallel branch-and-bound search in Parlog. Int. J. Parallel Program. 20 (4) (1991)
Matthew M. Huntbach
Automated Translation of Occam to a Concurrent Logic Language. LOPSTR (1991)
Matthew M. Huntbach
Speculative Computation and Priorities in Concurrent Logic Languages. ALPUK (1991)
Matthew M. Huntbach
Implementing a graph-colouring algorithm in Parlog. ACM SIGPLAN Notices 24 (9) (1989)
Matthew M. Huntbach
Meta-interpreters and Partial Evaluation in Parlog. Formal Aspects Comput. 1 (2) (1989)
Matthew M. Huntbach, F. Warren Burton
Alpha-beta search on virtual tree machines. Inf. Sci. 44 (1) (1988)
Matthew M. Huntbach
Algorithmic PARLOG Debugging. SLP (1987)
Matthew M. Huntbach
An Improvised Version of Shapiro's Model Inference System. ICLP (1986)
Matthew M. Huntbach
Program Synthesis by Inductive Inference. ECAI (1986)
F. Warren Burton, Matthew M. Huntbach, John G. Kollias
Multiple Generation Text Files Using Overlapping Tree Structures. Comput. J. 28 (4) (1985)
F. Warren Burton, Matthew M. Huntbach
Virtual Tree Machines. IEEE Trans. Computers 33 (3) (1984)
F. Warren Burton, Matthew M. Huntbach
Lazy Evaluation of Geometric Objects. IEEE Computer Graphics and Applications 4 (1) (1984)