Graphical display of complex information within a Prolog debugger

International Journal of Man-Machine Studies - Tập 25 Số 5 - Trang 503-521 - 1986
Alan D. Dewar1, John G. Cleary1
1Department of Computer Science, The University of Calgary, Calgary, Alberta, Canada, T2N 1N4#TAB#

Tóm tắt

Từ khóa


Tài liệu tham khảo

Baecker, 1975, Two systems which produce animated representations of the execution of computer programs, SIGCSE Bulletin, 7, 158, 10.1145/953064.811152

Birtwistle, 1984, Visualizing a simulation using animated pictures, 57

Brown, 1983, Debugging in the Balsa-Pecan integrated environment: position statement

Brown, 1984, A system for algorithm animation, Computer Graphics, 18, 177, 10.1145/964965.808596

Brown, 1985, Program visualization: graphical support for software development, Computer, 18, 27, 10.1109/MC.1985.1662972

Byrd, 1980, Understanding the control flow of Prolog programs

Cheriton, 1979, Thoth: a portable real-time operating system, Communications of the ACM, 22, 105, 10.1145/359060.359074

Cleary, 1984, A distributed graphics system implemented in Prolog

Dewar, 1984, Graphical tracing and debugging of simulations, 68

Dewar, 1985, A graphical debugger for Prolog

Dewar, 1986, A graphical debugger for Prolog

van Emden, 1976, The semantics of predicate logic as a programming language, Journal of the ACM, 23, 733, 10.1145/321978.321991

Ferguson, 1982, A Prolog interpreter for the Unix operating system

Getz, 1983, A very high-level interactive graphical trace for the Pascal heap, IEEE Transactions on Software Engineering, SE-9, 179, 10.1109/TSE.1983.236595

Herot, 1983, Debugging in an integrated graphics programming environment

Joyce, 1984, Andes: an environment for animated discrete event simulation

Kline, 1978, Visual demonstration of program execution, SIGCSE Bulletin, 10, 16, 10.1145/990654.990559

London, 1985, Animating programs using Smalltalk, Computer, 18, 61, 10.1109/MC.1985.1662978

Myers, 1983, Incense: a system for displaying data structures, Computer Graphics, 17, 115, 10.1145/964967.801140

Naish, 1983

Nassi, 1983, Flowchart techniques for structured programming, ACM SIGPLAN Notices, 8, 12, 10.1145/953349.953350

Neal, 1984, Experience with an interprocess communication protocol in a distributed programming environment, 361

Pereira, 1978

Pereira, 1984

Pong, 1983, Pigs—a system for programming with interactive graphical support, Software-Practice and Experience, 13, 847, 10.1002/spe.4380130910

Schach, 1982, An interactive graphical array trace., Quaestiones Informaticae, 2, 23

Shapiro, 1974, Interactive visual simulators for beginning programming students, SIGCSE Bulletin, 6, 11, 10.1145/953057.810431

Spacek, 1982, A portable Prolog tracing package, Logic Programming Newsletter, Portugal, 7

Stefik, 1983, Knowledge programming in Loops: report on an experimental course, The AI Magazine, 3

Takahashi, 1982, Visual aid for Fortran program debugging, 414

Teitelbaum, 1981, The Cornell program synthesizer: a syntax-directed programming environment, Communications of the ACM, 24, 563, 10.1145/358746.358755

Unger, 1984, Jade: a simulation and software prototyping environment, 77

Weisling, 1981, Tracemark, an Apple II debugging aid, MICRO—The 6502/6809 Journal, 40, 79

Witten, 1983, Jade: a distributed software prototyping environment, ACM Operating Systems Review, 17, 10, 10.1145/850742.850744

Wyvill, 1984, Jaggies—a distributed hierarchical graphics system, 214