6960 search results - page 332 / 1392 » Continuity Analysis of Programs |
158
click to vote
MICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
The emergence of multicore processors has heightened the need for effective parallel programming practices. In addition to writing new parallel programs, the next generation of pr...
129
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
The support for precise exceptions in Java, combined with frequent checks for runtime exceptions, leads to severe limitations on the compiler’s ability to perform program optimiz...
142
click to vote
AGP
1995
IEEE
15 years 8 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
165
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
145
click to vote
WCRE
1993
IEEE
15 years 8 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...