1016 search results - page 57 / 204 » Automatic Analysis of Programming Assignments |
100
click to vote
CSUR
1999
15 years 15 days ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
76
Voted
CAV
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
130
click to vote
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
The problem of writing high performance parallel applications becomes even more challenging when irregular, sparse or adaptive methods are employed. In this paper we introduce com...
103
click to vote
CORR
2006
Springer
15 years 27 days ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
88
Voted
EUROPAR
2004
Springer
15 years 6 months ago
2004
Springer
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness – that is, their ability...