Matthew M. Huntbach

According to our database, Matthew M. Huntbach authored at least 23 papers between 1984 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

A Model for Concurrency Using Single-Writer Single-Assignment Variables.

Matthew M. Huntbach

Proceedings of the 33th Communicating Process Architectures Conference, 2011

2007

The Core Language of Aldwych.

Matthew M. Huntbach

Proceedings of the 30th Communicating Process Architectures Conference, 2007

2003

Features of the Concurrent Programming Language Aldwych.

Matthew M. Huntbach

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

2000

The Concurrent Language Aldwych

Matthew M. Huntbach

CoRR, 2000

1999

Agent-Oriented Programming, From Prolog to Guarded Definite Clauses.

Matthew M. Huntbach, Graem A. Ringwood

Lecture Notes in Computer Science 1630, Springer, ISBN: 3-540-66683-4, 1999

1995

Programming In Concurrent Logic Languages.

Matthew M. Huntbach, Graem A. Ringwood

IEEE Softw., 1995

An Introduction to RGDC as a Concurrent Object-Oriented Language.

Matthew M. Huntbach

J. Object Oriented Program., 1995

Search in concurrent logic languages.

Matthew M. Huntbach

Proceedings of the 1995 ACM symposium on applied computing, 1995

The concurrent object-oriented language braid.

Matthew M. Huntbach

Proceedings of the 1995 ACM symposium on applied computing, 1995

How Agents Do It in Stream Logic Programming.

Matthew M. Huntbach, Nick R. Jennings, Graem A. Ringwood

Proceedings of the First International Conference on Multiagent Systems, 1995

1991

Parallel branch-and-bound search in Parlog.

Matthew M. Huntbach

Int. J. Parallel Program., 1991

Automated Translation of Occam to a Concurrent Logic Language.

Matthew M. Huntbach

Proceedings of the Logic Program Synthesis and Transformation, 1991

Speculative Computation and Priorities in Concurrent Logic Languages.

Matthew M. Huntbach

Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, 1991

1989

Interactive program debugging and synthesis.

Matthew M. Huntbach

PhD thesis, 1989

Implementing a graph-colouring algorithm in Parlog.

Matthew M. Huntbach

ACM SIGPLAN Notices, 1989

Meta-interpreters and Partial Evaluation in Parlog.

Matthew M. Huntbach

Formal Aspects Comput., 1989

1988

Alpha-beta search on virtual tree machines.

Matthew M. Huntbach, F. Warren Burton

Inf. Sci., 1988

1987

Algorithmic PARLOG Debugging.

Matthew M. Huntbach

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

1986

An Improvised Version of Shapiro's Model Inference System.

Matthew M. Huntbach

Proceedings of the Third International Conference on Logic Programming, 1986

Program Synthesis by Inductive Inference.

Matthew M. Huntbach

Proceedings of the Advances in Artificial Intelligence II, 1986

1985

Multiple Generation Text Files Using Overlapping Tree Structures.

F. Warren Burton, Matthew M. Huntbach, John G. Kollias

Comput. J., 1985

1984

Virtual Tree Machines.

F. Warren Burton, Matthew M. Huntbach

IEEE Trans. Computers, 1984

Lazy Evaluation of Geometric Objects.

F. Warren Burton, Matthew M. Huntbach

IEEE Computer Graphics and Applications, 1984