4469 search results - page 455 / 894 » Dynamic Program Slicing |
192
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
177
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
163
click to vote
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
194
click to vote
ECOOP
2006
Springer
15 years 9 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
182
click to vote
DLS
2008
15 years 8 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...