1911 search results - page 31 / 383 » Program analysis for code duplication in logic programs |
ECEASST
2006
13 years 8 months ago
2006
BMCBI
2005
13 years 8 months ago
2005
Background: Several problems exist with current methods used to align DNA sequences for comparative sequence analysis. Most dynamic programming algorithms assume that conserved se...
SAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
ISTA
2003
13 years 9 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...