Logichart: A Prolog Program Diagram and its Layout
Informations
Type:
article
Auteurs:
Yoshihiro Adachi and Yudai Furusawa
Pertinence:
Haute
Référence:
Doi:
Mots-clés:
Url:
https://www.semanticscholar.org/paper/Logichart%3A-A-Prolog-Program-Diagram-and-its-Layout-Adachi-Furusawa/34b4fef9f3e57bc1e6b1ca007b84fd2bd1b814d8
Date de publication:
12/2006
Résumé:
Description de Logichart, un système de visualisation des programmes Prologue sous forme d'arbre. Les règles d’interprétation et les contraintes sont définies par une grammaire.
Abstract:
Abstract: The layout of Logichart diagrams is first discussed. The layout condition is formalized with a layout constraint (expressions of equalities and inequalities) of tree-structured diagrams. Next, a cell placement that gives the minimum-area layout under a specific layout constraint is presented. A Logichart attribute graph grammar is then formalized. This grammar is underlain by a neighborhood controlled embedding (NCE) graph grammar whose productions are defined in order to formalize the graph-syntax rules of Logichart diagrams. Semantic rules attached to the grammar's productions are defined in such a way that they can extract the layout information needed to display a Logichart diagram by means of the attributes attached to the nodes of the graphs derived by the grammar. The semantic rules are formalized so as to obtain the Logichart diagrams of the minimum area under the above layout constraint.
Pdf:
Lien pdf
Références
1 articles
Titre Type Pertinence Auteurs Date Publication Références Citations Actions
A fine-grained account of Prolog execution for teaching and debugging article Moyenne Marc Eisenstadt and Mike Brayshaw 12/1989 0 5
voir
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
Yoshihiro Adachi and Yudai Furusawa 1
voir