450 search results - page 46 / 90 » Experience with an analytic approach to teaching programming... |
PASTE
2004
ACM
15 years 5 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
138
click to vote
PPOPP
2011
ACM
14 years 2 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
117
click to vote
ESOP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
SIGSOFT
2002
ACM
16 years 17 days ago
2002
ACM
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...
210
click to vote
POPL
2004
ACM
16 years 4 days ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...