246 search results - page 33 / 50 » How Do Program Understanding Tools Affect How Programmers Un... |
124
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
ICALT
2008
IEEE
15 years 8 months ago
2008
IEEE
We describe our work on seeding and building a developmental learning community for recruiting and retaining women in educational programs and careers related to computing and inf...
101
click to vote
TAP
2010
Springer
15 years 3 days ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
126
click to vote
SOQUA
2007
15 years 3 months ago
2007
With the proliferation of the new multi-core personal computers, and the explosion of the usage of highly concurrent machine configuration, concurrent code moves from being writt...
149
click to vote
ITP
2010
15 years 4 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...