613 search results - page 29 / 123 » Executable Visual Contracts |
VL
1998
IEEE
14 years 2 months ago
1998
IEEE
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...
LISP
1998
13 years 10 months ago
1998
Abstract. RainbowScheme is a visual stepping system that presents Scheme program’s runtime state using icons, colored environment trees, and colored Scheme code. A Scheme program...
CSC
2007
14 years 12 days ago
2007
A visualization framework can be seen as a solution to a specialized data flow problem. Spiegel1 is a visualization framework which uses the Unix pipeline model to execute program...
ICPR
2000
IEEE
14 years 3 months ago
2000
IEEE
The navigational tasks of computingtime-to-impact and controlling movements within specific range are addressed here. By using specially designed lenses various components of thes...
VL
2003
IEEE
14 years 4 months ago
2003
IEEE
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...