1023 search results - page 177 / 205 » A Formal Method for Program Slicing |
107
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
116
click to vote
CADE
2005
Springer
16 years 1 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
120
click to vote
PPOPP
2003
ACM
15 years 6 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
105
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
104
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...