Initiality, induction, and computability
Algebraic methods in semantics
Handbook of theoretical computer science (vol. B)
A new approach to debugging optimized code
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Debugging optimized code with dynamic deoptimization
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Symbolic Debugging of Optimized Code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Debugging optimized code without being misled
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design-for-debugging of application specific designs
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Hi-index | 0.00 |
An interactive source-level debugger for optimised programs is built where the features of either debugger or optimiser may be fully expressed without undue hindrance from each other, nor degradation when they are used separately. Tracker is the link between the tools that assures this. Its role is to correct for any distortions introduced by optimisation in the debugging process. It stems from a view that opfimisation and debugging perform the same actions on a program code, albeit for different purposes. This paper discusses implementation aspects in adapting a debugger and an optimiser in this model for debugging optimised programs.