Formal semantics of control in a completely visual programming language
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 208-215
- https://doi.org/10.1109/vl.1994.363616
Abstract
Visual representations of programs can facilitate program understanding by presenting aspects of programs using explicit and intuitive representations. To explore this idea, we have designed a completely visual static and dynamic presentation of an imperative programming language. Because our representation of control is completely visual, programmers of this language can understand the static and dynamic semantics of programs using the same framework. In this paper, we describe the semantics of our language, both informally and formally, focusing on support for control constructs. We also prove that using our language to model common high-level constructs is semantically sound.<>Keywords
This publication has 5 references indexed in Scilit:
- Visual tools for generating iconic programming environmentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- ChemTrains: a language for creating behaving picturesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Complete visualizations of concurrent programs and their executionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- New graphical reasoning models for understanding graphical interfacesPublished by Association for Computing Machinery (ACM) ,1991
- No Silver Bullet Essence and Accidents of Software EngineeringComputer, 1987