![]() | ![]() |
1993 | ||
---|---|---|
7 | Mike Brayshaw: Intelligent Inference For Debugging Concurrent Systems. DEXA 1993: 461-469 | |
1991 | ||
6 | Mike Brayshaw: An Architecture for Visualizing the Execution of Parallel Logic Programs. IJCAI 1991: 870-876 | |
5 | Mike Brayshaw, Marc Eisenstadt: A Practical Graphical Tracer for Prolog. International Journal of Man-Machine Studies 35(5): 597-631 (1991) | |
1988 | ||
4 | Mark T. Keane, Mike Brayshaw: The Incremental Analogy Machine: A Computational Model of Analogy. EWSL 1988: 53-62 | |
3 | Mike Brayshaw, Marc Eisenstadt: Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM. ICLP/SLP 1988: 532-547 | |
2 | Marc Eisenstadt, Mike Brayshaw: The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming. J. Log. Program. 5(4): 277-342 (1988) | |
1987 | ||
1 | Marc Eisenstadt, Mike Brayshaw: Graphical Debugging with the Transparent PROLOG Machine (TPM). IJCAI 1987: 83-86 |
1 | Marc Eisenstadt | [1] [2] [3] [5] |
2 | Mark T. Keane | [4] |