1016 search results - page 1 / 204 » Automatic Analysis of Programming Assignments |
DELFI
2003
13 years 8 months ago
2003
Abstract: In a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication b...
ACSE
1996
ACM
13 years 10 months ago
1996
ACM
In a university climate that sees rising student-sta ratios and increasing workloads for academics, any mechanism that reduces the student marking and assessment process must be w...
SFP
2003
13 years 8 months ago
2003
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...
GECCO
2004
Springer
14 years 11 hour ago
2004
Springer
CORR
2010
Springer
13 years 6 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...