43 search results - page 1 / 9 » cc 2009 |
CC
2009
Springer
13 years 11 months ago
2009
Springer
CC
2009
Springer
14 years 5 months ago
2009
Springer
CC
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. It is difficult to develop style-preserving source-to-source transformation engines for C and C++. The main reason is not the complexity of those languages, but the use o...
FECS
2009
13 years 2 months ago
2009
- This paper describes the development of a system for teaching C/C++ using LegoTM RCX Robots in a CS1 college course on introductory programming. The system has been implemented u...
POPL
2009
ACM
14 years 5 months ago
2009
ACM
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...