Computer Science – Software Engineering
Scientific paper
2000-10-31
Computer Science
Software Engineering
In M. Ducasse (ed), proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), August 2000, Munic
Scientific paper
A program execution monitor is a program that collects and abstracts information about program executions. The "collect" operator is a high level, general purpose primitive which lets users implement their own monitors. "Collect" is built on top of the Mercury trace. In previous work, we have demonstrated how this operator can be used to efficiently collect various kinds of statistics about Mercury program executions. In this article we further demonstrate the expressive power and effectiveness of "collect" by providing more monitor examples. In particular, we show how to implement monitors that generate graphical abstractions of program executions such as proof trees, control flow graphs and dynamic call graphs. We show how those abstractions can be easily modified and adapted, since those monitors only require several dozens of lines of code. Those abstractions are intended to serve as front-ends of software visualization tools. Although "collect" is currently implemented on top of the Mercury trace, none of its underlying concepts depend of Mercury and it can be implemented on top of any tracer for any programming language.
No associations
LandOfFree
Collecting Graphical Abstract Views of Mercury Program Executions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Collecting Graphical Abstract Views of Mercury Program Executions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Collecting Graphical Abstract Views of Mercury Program Executions will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-446329