6740 search results - page 758 / 1348 » Using Classification as a Programming Language |
268
click to vote
PLDI
2003
ACM
16 years 16 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
197
click to vote
CICLING
2004
Springer
16 years 21 days ago
2004
Springer
: Syntactic disambiguation frequently requires knowledge of the semantic categories of nouns, especially in languages with free word order. For example, in Spanish the phrases pint...
306
click to vote
ASPLOS
2009
ACM
16 years 8 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
302
click to vote
ASPLOS
2009
ACM
16 years 8 months ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...
194
click to vote
ESOP
2004
Springer
16 years 20 days ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...