6960 search results - page 149 / 1392 » Continuity Analysis of Programs |
116
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...
110
click to vote
PLDI
1990
ACM
15 years 7 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
118
click to vote
JAR
2008
15 years 3 months ago
2008
We analyze three proof strategies commonly used in deductive verification of deterministic sequential programs formalized with operational semantics. The strategies are: (i) stepw...
SLP
1990
15 years 4 months ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
113
click to vote
POPL
1996
ACM
15 years 7 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...