Wayne Citrin, Michael Doherty, Benjamin Zorn  Home/Search
Context
Related
| colorado.edu/pub/te...CUCS67393.ps.Z colorado.edu/pub/te...CUCS67393.ps.Z colorado.edu/pub/cs...CUCS67393.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cui.unige.ch/eao/www...VP.TechRep (more) From: cui.unige.ch/eao/www...VP.TechRep (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 using this language can understand the static and dynamic semantics of programs using the same framework. In this paper, we describe the... (Update)
Similar documents (at the sentence level):
10.6%: Control Constructs in a Completely Visual Imperative.. - Citrin, Doherty, Zorn (1993) (Correct)
6.4%: A Completely Visual Language for Object-oriented Programming - Citrin, al. (Correct)
Active bibliography (related documents): More All
0.7: The Design of a Completely Visual Object-Oriented.. - Citrin, Doherty, Zorn (1994) (Correct)
0.5: Definition and Verification of Interrupt Correctness Properties - Peterson, Chin (Correct)
0.3: Requirements for Graphical Front Ends for Visual Languages - Citrin (1993) (Correct)
Similar documents based on text: More All
0.3: Using Formalized Temporal Message-flow Diagrams - Citrin, Cockburn, Känel, Hauser (1995) (Correct)
0.2: VL-Eli: A Generator for Visual Languages - Kastens, Schmidt (2002) (Correct)
0.2: Agentsheets: Applying Grid-Based Spatial Reasoning to.. - Repenning, Citrin (1993) (Correct)
BibTeX entry: (Update)
@techreport{ citrin93formal,
author = "Wayne Citrin and Michael Doherty and Benjamin Zorn",
title = "A Formal Definition of Control Semantics in a Completely Visual Language",
number = "CU-CS-673-93",
address = "Boulder, CO 80309",
year = "1993",
url = "citeseer.ist.psu.edu/citrin93formal.html" }
Citations (may not include all citations):652 A Discipline of Programming (context) - Dijkstra - 1976
208 No Silver Bullet: Essence and Accidents of Software Engineer.. (context) - Brooks - 1987
70 Semantics of Programming Languages (context) - Tennent - 1991
56 JANUS: A step towards distributed constraint programming (context) - Saraswat, Kahn et al. - 1990
52 Complete Visualizations of Concurrent Programs and Their Exe.. (context) - Kahn, Saraswat - 1990
23 New graphical reasoning models for understanding graphical i.. (context) - Furnas - 1991
19 ChemTrains: A Language for Creating Behaving Pictures (context) - Bell, Lewis - 1993
11 the cruelty of really teaching computer science (context) - On - 1989
7 Formal Semantics of Control in a Completely Visual Programmi.. (context) - Citrin, Doherty et al. - 1994
7 The Design of a Completely Visual Object-Oriented Programmin.. - Citrin, Doherty et al. - 1994
3 Visual Tools for Creating Iconic Programming Environments (context) - McIntyre, Glinert - 1992
3 Towards Visual Concurrent Constraint Programming (context) - Kahn - 1992
2 Program semantics and mechanized proof (context) - Milner - 1976
1 Simulation of Communications Protocols through Graphical Tra.. (context) - Bell, Citrin - 1992
Documents on the same site (http://cui.unige.ch/eao/www/Visual/VP.TechRep.html): More
Defining and Parsing Visual Languages with Layered Graph Grammars - Rekers, Schürr (1997) (Correct)
The Design of a Completely Visual Object-Oriented.. - Citrin, Doherty, Zorn (1994) (Correct)
SUPER - Visual Interaction with an Object-based ER Model - Auddino, Dennebouy.. (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC