1882 search results - page 278 / 377 » Transformational Programming and Forests |
155
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
163
Voted
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
184
Voted
OSDI
2008
ACM
15 years 7 months ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
133
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
161
click to vote
ISPASS
2008
IEEE
15 years 11 months ago
2008
IEEE
—The potential for improving the performance of data-intensive scientific programs by enhancing data reuse in cache is substantial because CPUs are significantly faster than me...