Techniques for Simplifying the Visualization of Graph Reduction

Foubister, Sandra P.; Runciman, Colin

doi:10.1007/978-1-4471-3573-9_5

Cited by 3 publications

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Semantic debuggers produce and show the evaluation trace. Some of them build the trace using breakpoints, as Prospero [18] for the Miranda language, Hint [4] for a subset of Haskell, or Hood [5] for Haskell. The latter has an extension called GHood [16] that provides a graphical representation of the trace.…”

Section: Debugging Toolsmentioning

confidence: 99%

WinHIPE

2007

View full text Add to dashboard Cite

The article describes an IDE for functional programming, called WinHIPE. It provides an interactive and flexible tracer, as well as a powerful visualization and animation system. The former tool is based on the rewriting model of evaluation, and the latter provides automatic generation of visualizations and animations, friendly support for customization, maintenance and exportation of animations to the Web, and facilities to cope with large scale. Its main advantage over other visualization systems is an effortless approach to animation creation and maintenance, based on generating visualizations and animations automatically, as a side effect of program execution. Finally, we briefly describe our experience using the system during several years in educational settings.

show abstract

Section: Debugging Toolsmentioning

confidence: 99%

WinHIPE

2007

View full text Add to dashboard Cite

show abstract

“…Another approach used to trace functional programs has been to provide a visualisation aid to show the order of graph reduction in a program [Foubister and Runciman, 1995 . …”

Section: Tracing Lazy Functional Computationsmentioning

confidence: 99%

Profiling large-scale lazy functional programs

Morgan

Jarvis

1998

J. Funct. Prog.

View full text Add to dashboard Cite

How to cite:Jarvis, Stephen Andrew (1996) Pro ling large-scale lazy functional programs, Durham theses, Durham University. Available at Durham E-Theses Online: http://etheses.dur.ac.uk/5307/ Use policy The full-text may be used and/or reproduced, and given to third parties in any format or medium, without prior permission or charge, for personal research or study, educational, or not-for-pro t purposes provided that:• a full bibliographic reference is made to the original source• a link is made to the metadata record in Durham E-Theses• the full-text is not changed in any way The full-text must not be sold in any format or medium without the formal permission of the copyright holders. The copyright of this thesis rests with the author. No quotation from it should be published without the written consent of the author and information derived from it should be acknowledged. AbstractThe LOLITA natural language processing system is an example of one of the ever increasing number of large-scale systems written entirely in a functional programming language. The system consists of over 50,000 lines of Haskell code and is able to perform a number of tasks such as semantic and pragmatic analysis of text, context scanning and query analysis. Such a system is more useful if the results are calculated in real-time, therefore the efficiency of such a system is paramount. For the past three years we have used profiling tools supplied with the Haskell compilers GHC and HBC to analyse and reason about our programming solutions and have achieved good results; however, our experience has shown that the profiling life-cycle is often too long to make a detailed analysis of a large system possible, and the profiling results are often misleading.A profiling system is developed which allows three types of functionality not previously found in a profiler for lazy functional programs. Firstly, the profiler is able to produce results based on an accurate method of cost inheritance. We have found that this reduces the possibility of the programmer obtaining misleading profiling results. Secondly, the programmer is able to explore the results after the execution of the program. This is done by selecting and deselecting parts of the program using a post-processor. This greatly reduces the analysis time as no further compilation, execution or profiling of the program is needed. Finally, the new profiling system allows the user to examine aspects of the run-time call structure of the program. This is useful in the analysis of the run-time behaviour of the program.Previous attempts at extending the results produced by a profiler in such a way have failed due to the exceptionally high overheads. Exploration of the overheads produced by the new profiling scheme show that typical overheads in profiling the LOLITA system are: a 10% increase in compilation time; a 7% increase in executable size and a 70% run-time overhead. These overheads mean a considerable saving in time in the detailed analysis of profiling a large, lazy functional program. ...

show abstract

Graphical visualization of the evaluation of functional programs

Jiménez-Peris

Pareja-Flores

Patiño-Martı́nez

et al. 1996

Proceedings of the 1st Conference on Integrating Technology Into Computer Science Education - ITiCSE '96

View full text Add to dashboard Cite

The increasing interest in functional programming for computer science education demands adequate programming environments. Our work is based on an integrated programming environment where the evaluation of functional expressions can be seen as a term rewriting process. Our goal is to facilitate the understanding of this process. We propose an innovative way to display the evaluation of functional expressions that combines text and graphics. Lists and trees constructors are displayed graphically, while the remaining expressions are shown as text. An adequate format for graphics and pretty-printing of text gives a very clear presentation of the evaluation of expressions.

show abstract

Techniques for Simplifying the Visualization of Graph Reduction

Cited by 3 publications

References 5 publications

WinHIPE

WinHIPE

Profiling large-scale lazy functional programs

Graphical visualization of the evaluation of functional programs

Contact Info

Product

Resources

About