2482 search results - page 137 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
LOPSTR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
The brain has long been seen as a powerful analogy from which novel computational techniques could be devised. However, most artificial neural network approaches have ignored the...
CSFW
2004
IEEE
14 years 12 hour ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
PADL
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...