1401 search results - page 186 / 281 » Tool Integration for Reasoned Programming |
106
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H...
108
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
131
Voted
KBSE
2010
IEEE
14 years 12 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
140
click to vote
IFIP12
2004
15 years 2 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...