1781 search results - page 139 / 357 » Visualizing program execution using user abstractions |
105
click to vote
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Although current programming models provide adequate performance, many prove inadequate to support the effective development of efficient Grid applications. Many of the ...
108
Voted
VL
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper we present a system that helps users test their spreadsheets using automatically generated test cases. The system generates the test cases by backward propagation an...
113
Voted
PPPJ
2006
ACM
15 years 8 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
114
Voted
MST
2008
15 years 2 months ago
2008
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
106
click to vote
RTA
2004
Springer
15 years 7 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...