12452 search results - page 384 / 2491 » An exploration of program as language |
184
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
Innovative teachers are continually looking for creative ideas, both to get their ideas across and to hold the interest of their students. One of the latest trends is the use of L...
193
click to vote
CSFW
1998
IEEE
15 years 10 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
194
click to vote
IJRR
2006
15 years 6 months ago
2006
We describe the design and experimental validation of a large heterogeneous mobile robot team built for the DARPA Software for Distributed Robotics (SDR) program. The core challen...
166
click to vote
SIGCSE
2005
ACM
16 years 13 days ago
2005
ACM
Java is the canonical language for teaching introductory programming, but its complex syntax and abundance of constructs are difficult for beginners to learn. This paper shows how...