1911 search results - page 112 / 383 » Program analysis for code duplication in logic programs |
160
click to vote
POPL
2010
ACM
15 years 7 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
200
click to vote
ALP
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...
126
click to vote
PLDI
1996
ACM
15 years 9 months ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...
135
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...
140
click to vote
HPCA
2008
IEEE
16 years 5 months ago
2008
IEEE
The continued scaling of device dimensions and the operating voltage reduces the critical charge and thus natural noise tolerance level of transistors. As a result, circuits can p...