26 search results - page 5 / 6 » Comparative Study on Programmable Robots as Programming Educ... |
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...
ACE
2004
13 years 10 months ago
2004
Over the past decade Australian and New Zealand educational institutions have experienced a rapid increase in the numbers of "New Arrivals" - immigrant and international...
SIGUCCS
2003
ACM
14 years 2 months ago
2003
ACM
At the University of Missouri – Columbia’s Information and Access Technology (IAT) Services, InfoTech Training compares the results of their IT training program with similar t...
SIGITE
2004
ACM
14 years 2 months ago
2004
ACM
“The Multi-User Programming Pedagogy for Enhancing Traditional Study” (MUPPETS) system has been under development at RIT for the last three years. This multi-user environment ...