Visualization of Lazy Evaluation and Sharing
Informations
Type:
inproceedings
Auteurs:
Dennis Felsing
Pertinence:
Haute
Référence:
Doi:
Mots-clés:
Url:
Date de publication:
12/2011
Résumé:
Système de visualisation des structures de données et algorithmes pour le langage Haskell pour aider à la compréhension et au débogage de programmes.
Abstract:
This thesis details the motivation, implementation and evaluation of ghc-vis, a tool for visualizing Haskell data structures inside of GHCi and GHC compiled programs at runtime. The layout of objects on the GHC heap is used as the basis for two types of visualizations, which respectively aim to functionally be supersets of GHCi’s :print and vacuum-cairo. Examples for using ghc-vis to further the understanding of lazy evaluation and sharing in Haskell are given. The visualization of sharing and lazy evaluation in Haskell data structures can be useful to enhance the comprehension of functional data structures and algorithms and their perfomance in the environment of education, development and debugging. A new library for parsing and viewing graphs in Haskell, called xdot, was created in order to interactively view graphs created by Graphviz.
Pdf:
Lien pdf
Références
0 articles
Titre Type Pertinence Auteurs Date Publication Références Citations Actions
Pas encore d'article
Citations
1 articles
Titre Type Pertinence Auteurs Date Publication Références Citations Actions
Visualizing Data-Flows in Functional Programs article Haute Tobias Weck and Matthias Tichy 12/2015 2 0
Mots-clés
0 mots-clés
Nom Nombre d'articles Actions
Pas encore de mot-clé
Auteurs
1 auteurs
Nom Nombre d'articles Actions
Dennis Felsing 1