Visualizing Data-Flows in Functional Programs
Informations
- Type:
- article
- Auteurs:
- Tobias Weck and Matthias Tichy
- Pertinence:
-
Haute
- Référence:
- Doi:
- Mots-clés:
- Url:
- https://ieeexplore.ieee.org/document/7476651
- Date de publication:
- 12/2015
- Résumé:
-
Outil permettant de générer des diagrammes de flux de données sur base de code Haskell. Ces diagrammes peuvent être utilisés comme documentation ou support d'apprentissage.
L'article décrit les techniques utilisées pour la génération des graphiques (théorie des graphes, ast) - Abstract:
- Comprehension of a program, either written by oneself or by someone else, is an important part of the daily life of a programmer. While many approaches support program comprehension of object-oriented programming languages, e.g., by providing slicing or reengineering the program into visual designs, there are fewer research activities targeting functional programming languages. For the specific case of Haskell programs, we see a need in program comprehension to understand how functions interact with each other with respect to the data and its type they exchange. In this paper, we present an approach to aid in understanding by providing an automatic transformation of Haskell programs into data-flow diagrams. These data-flow diagrams visualize the manipulation of values by the different functions which comprise the program. Because types are a very important part of writing and understanding Haskell programs, the data-flows in the diagrams are explicitly enriched with type information. This allows us to display intermediary types that usually are not visible to the programmer. The approach is based on category theory and illustrated by examples.
Références
Citations
0 articles
| Titre | Type | Pertinence | Auteurs | Date Publication | Références | Citations | Actions |
|---|---|---|---|---|---|---|---|
| Pas encore d'article | |||||||
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 |
|---|---|---|
| Tobias Weck and Matthias Tichy | 1 |