LSD: A Logic-Based Visual Language for Designing Structured Objects
Informations
Type:
article
Auteurs:
Philip T. Cox and Trevor J. Smedley
Pertinence:
Moyenne
Référence:
Doi:
Mots-clés:
Url:
https://www.semanticscholar.org/paper/LSD%3A-A-Logic-Based-Visual-Language-for-Designing-Cox-Smedley/5cb2352e84850a983b9ac853d50332feaf2b3fba
Date de publication:
12/1997
Résumé:
Proposition d'un formalisme pour un langage de programmation visuel logique.
Abstract:
Abstract Designing structured objects such as mechanical devices, buildings and electronic devices, involves two disparate activities. Visual representations of objects are drawn in two or three dimensions. Also, since the structure of more complex artifacts may depend on parameter values, coding akin to programming may be required. Consequently, design tools such as CAD systems usually provide sophisticated graphical drafting packages plus interfaces to textual programming languages. Those dealing with highly parameterised designs, such as electronic circuits, may abandon graphics altogether, expressing everything in textual terms. Based on the observation that logic programming gives a uniform view of data and the algorithms that operate on it, we present a preliminary proposal for a declarative, logic-based, visual language for structured design. The advantage of this approach is seen to be the natural integration of concrete representations of design components with operations that specify how components are assembled from other components.
Pdf:
Lien pdf
Références
1 articles
Titre Type Pertinence Auteurs Date Publication Références Citations Actions
Complete visualizations of concurrent programs and their executions article Haute Kenneth M. Kahn and Vijay A. Saraswat 12/1989 0 6
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
Philip T. Cox and Trevor J. Smedley 1