14 search results - page 3 / 3 » pepm 2009 |
106
Voted
PEPM
2009
ACM
16 years 17 days ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
144
Voted
PEPM
2009
ACM
16 years 17 days ago
2009
ACM
Many applications need to respond to incremental modifications to data. Being incremental, such modification often require incremental modifications to the output, making it po...
137
Voted
PEPM
2009
ACM
15 years 8 months ago
2009
ACM
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...
144
Voted
PEPM
2009
ACM
16 years 17 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...