1675 search results - page 121 / 335 » Some thoughts on teaching programming and programming langua... |
126
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
125
click to vote
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
129
click to vote
SETP
2007
15 years 6 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
263
click to vote
IWOMP
2011
Springer
14 years 7 months ago
2011
Springer
Many task-based programming models have been developed and refined in recent years to support application development for shared memory platforms. Asynchronous tasks are a powerfu...
145
click to vote
APLAS
2003
ACM
15 years 8 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...