1781 search results - page 40 / 357 » Visualizing program execution using user abstractions |
112
click to vote
IADIS
2003
15 years 3 months ago
2003
A visual simulator has been developed as an example of Web-based education tool, which is designed for students to understand graphically internal behavior and structure of comput...
127
click to vote
ECLIPSE
2007
ACM
15 years 5 months ago
2007
ACM
We present a declarative and visual debugging environment for Eclipse called JIVE.1 Traditional debugging is procedural in that a programmer must proceed step-by-step and objectby...
141
click to vote
PASTE
2005
ACM
15 years 7 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
IEAAIE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...
106
click to vote
ICCHP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. While there are many barcode readers available for identifying products in a supermarket or at home on mobile phones (e.g., Red Laser iPhone app), such readers are inacce...