Title :
An execution model for demonstration-based visual languages
Author :
Citrin, Wayne V.
Author_Institution :
Dept. of Electr. & Comput. Eng., Colorado Univ., Boulder, CO, USA
Abstract :
An abstract execution model for demonstration-based and example-based visual languages is presented. The formalism, causality graphs, are a simplified version of Petri nets, and possess similar execution properties. The author shows how programming, compilation, and execution of demonstration-based languages may be expressed as the construction and analysis of causality graphs. The model provides a basis for a theory of demonstration-based languages, and leads to a number of suggestions for the design and implementation of these languages
Keywords :
graph theory; program compilers; programming theory; visual languages; visual programming; Petri nets; abstract execution model; causality graphs; compilation; demonstration-based visual languages; example-based visual languages; programming; Calculus; Computer languages; Debugging; Logic programming; Petri nets; Programming profession;
Conference_Titel :
Visual Languages, 1992. Proceedings., 1992 IEEE Workshop on
Conference_Location :
Seattle, WA
Print_ISBN :
0-8186-3090-6
DOI :
10.1109/WVL.1992.275751
