Sciweavers

828 search results - page 14 / 166
» Visualizing Interactions in Program Executions
Sort
View
ACMSE
2004
ACM
14 years 2 months ago
JavaCHIME: Java class hierarchy inspector and method executer
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...
Pallavi Tadepalli, H. Conrad Cunningham
SIGMOD
2009
ACM
117views Database» more  SIGMOD 2009»
14 years 8 months ago
FERRY: database-supported program execution
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...
Torsten Grust, Manuel Mayr, Jan Rittinger, Tom Sch...
IV
2008
IEEE
126views Visualization» more  IV 2008»
14 years 3 months ago
Stencil: A Conceptual Model for Representation and Interaction
Existing Information Visualization models provide insufficient support to visualization programmers in creating applications. They either broad and taxonomy based, or narrowly fo...
Joseph A. Cottam, Andrew Lumsdaine
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
14 years 2 months ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold