Paper Info
Title
Formal semantics of control in a completely visual programming language
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
Year
DOI
Venue
1994
10.1109/VL.1994.363616
St. Louis, MO
Keywords
DocType
ISBN
formal languages,formal specification,visual languages,visual programming,control,formal semantics,high-level constructs,imperative programming language,program understanding,static and dynamic presentation,visual programming language,visual representations
Conference
0-8186-6660-9
Citations 
PageRank 
References 
18
2.32
5
Authors
3
Name
Order
Citations
PageRank
Wayne Citrin114331.61
Michael Doherty23714.81
Benjamin G. Zorn31119128.20