Towards monolingual programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Continuous execution: the VisiProg environment
ICSE '85 Proceedings of the 8th international conference on Software engineering
User Recovery and Reversal in Interactive Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
A system for algorithm animation
SIGGRAPH '84 Proceedings of the 11th annual conference on Computer graphics and interactive techniques
Reversible execution as a diagnostic tool
Reversible execution as a diagnostic tool
The debugging of computer programs
The debugging of computer programs
An extendible interactive debugging system
An extendible interactive debugging system
Declarative visualization in the shared dataspace paradigm
ICSE '89 Proceedings of the 11th international conference on Software engineering
Demonic memory for process histories
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Design of the opportunistic garbage collector
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Visual programming: perspectives and approaches
IBM Systems Journal
Dynascope: a tool for program directing
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Program visualization: the art of mapping programs to pictures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Virtual images: interactive visualization of distributed object-oriented systems
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
History cache: hardware support for reverse execution
ACM SIGARCH Computer Architecture News
An approach to support automatic generation of user interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Bridging the gulf between code and behavior in programming
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Relative debugging and its application to the development of large numerical models
Supercomputing '95 Proceedings of the 1995 ACM/IEEE conference on Supercomputing
The Unison algorithm: fast evaluation of Boolean expressions
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Software visualization in the desert environment
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Visual programming: perspectives and approaches
IBM Systems Journal
A persistent runtime system using persistent data structures
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Efficient algorithms for bidirectional debugging
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Reversible Debugging Using Program Instrumentation
IEEE Transactions on Software Engineering
Linked-List Visualization for Debugging
IEEE Software
Traversal-Based Visualization of Data Structures
INFOVIS '98 Proceedings of the 1998 IEEE Symposium on Information Visualization
Perspectives on Program Animation with Jeliot
Revised Lectures on Software Visualization, International Seminar
A debugging tool for software evolution
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Cacti: a front end for program visualization
INFOVIS '97 Proceedings of the 1997 IEEE Symposium on Information Visualization (InfoVis '97)
Visualizing evolutionary computation
Advances in evolutionary computing
A seamless integration of algorithm animation into a visual programming language
AVI '96 Proceedings of the workshop on Advanced visual interfaces
VIS '93 Proceedings of the 4th conference on Visualization '93
A portable virtual machine for program debugging and directing
Proceedings of the 2004 ACM symposium on Applied computing
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
Journal of Functional Programming
An efficient and generic reversible debugger using the virtual machine based approach
Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments
Robust Generation of Dynamic Data Structure Visualizations with Multiple Interaction Approaches
ACM Transactions on Computing Education (TOCE) - Special Issue on the 5th Program Visualization Workshop (PVW’08)
DejaVu: integrated support for developing interactive camera-based programs
Proceedings of the 25th annual ACM symposium on User interface software and technology
| Hi-index | 0.00 |
The author introduces PROVIDE, a source-level process visualization and debugging environment currently under development at the University of Illinois at Chicago. PROVIDE is a modern coding and debugging environment that is designed to allow the user to configure interaction at a desired level of abstraction. It emphasizes the use of interactive computer graphics for the illustration of program execution, with special attention to the requirements of program debugging. The major features of PROVIDE are presented, especially the concepts of deferred-binding program animation, which allows users to interactively change the depiction of program execution during the debugging task, and process history consistency maintenance, which guarantees a consistent (automatically updated) record of program execution in the face of changes to program instructions and run-time data values. The current PROVIDE prototype is implemented on Macintosh workstations networked to a VAX 11/780 running 4.2 BSD Unix