3738 search results - page 457 / 748 » Parametrized Logic Programming |
113
Voted
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
119
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
124
Voted
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
219
Voted
POPL
2007
ACM
16 years 1 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
220
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...